Als «ho.history-overview» getaggte Fragen

Wenn ich richtig verstehe, müssen Sie, um zu beweisen, dass Problem NP-schwer ist, alle möglichen Probleme B i auswählen , die sich in NP befinden, und dann beweisen, dass sie sich auf A reduzieren, indem Sie eine polynomialzeitberechnbare Funktion verwenden, die Instanzen jedes B i abbildet In den...

Weiß jemand, woher die Namen System "F" und System "T" kommen? Ich frage nicht, wer diese Namen eingeführt hat (Girard System F und Gödel System T), sondern was das "F" und das "T"

Wurde #P erstmals in [1] eingeführt ? [1] Valiant, Leslie G. "Die Komplexität der Berechnung der permanenten." Theoretical Computer Science 8.2 (1979): 189-201.

In den folgenden zwei Fragen Ursprünge und Anwendungen von Theorie A gegen Theorie B? und solide Anwendungen der Kategorietheorie in TCS? Viele Menschen teilten ihr Wissen und ihre Meinung über die Aufteilung dieser beiden Bereiche in theoretische CS. Ich bin ein Student der Mathematik mit...