Als «big-picture» getaggte Fragen

Das Big-Picture-Tag steht für eine "breite Gesamtansicht oder Perspektive eines Problems oder Problems".

4
Anwendungen der Komplexitätstheorie
Die Komplexitätstheorie scheint etwas Grundlegendes über die Struktur des Universums zu erfassen, indem sie die intuitive Vorstellung formalisiert, dass einige Probleme schwieriger sind als andere. Scott Aaronson prognostizierte : "Die NP-Härteannahme wird letztendlich als analog zum zweiten Hauptsatz der Thermodynamik oder als Unmöglichkeit der überluminalen Signalübertragung angesehen." Sogenannte "harte Probleme" …
1
Karriere in der theoretischen Informatik
Ich bin zurzeit ein Gymnasiast, der sich für theoretische Informatik und angewandte Mathematik interessiert. Ich habe mir selbst lineare Algebra und Analysis und konkrete Mathematik beigebracht. Ich habe eine naive Vorstellung, dass man, um bessere Algorithmen zu schreiben, so viel Mathematik wie möglich beherrschen muss, da man neue Strukturen kennenlernen …
3
Wie schwierig ist die exakte Simulation von Algorithmen und eine damit verbundene Operation für Komplexitätsklassen?
Teaser Da das Problem hier länger ist, handelt es sich um einen Sonderfall, der seine Essenz erfasst. Problem: Sei A ein detrministischer Algorithmus für 3-SAT. Ist das Problem der vollständigen Simulation des Algorithmus A (bei jedem Auftreten des Problems). P-Space schwer? (Genauer gesagt, gibt es Gründe zu der Annahme, dass …
3
Zufällig oder nicht?
Diese Frage ist vom T-Shirt des Georgia Tech Algorithms and Randomness Center inspiriert, in dem die Frage gestellt wird: " Zufällig oder nicht ?!" Es gibt viele Beispiele, in denen Randomisierung hilfreich ist, insbesondere wenn Sie in einer widrigen Umgebung arbeiten. Es gibt auch einige Einstellungen, bei denen Randomisierung nicht …
2
Status quo von Kategorietheorie und Monaden in der theoretischen Informatikforschung?
Hintergrund . Ich bin ein Bachelor-Student, der sich für Forschung in Bezug auf Kategorietheorie, Monaden und Haskell interessiert, und ich möchte ein Thema für meine Bachelor-Arbeit in diesem Bereich finden. Ich habe mir die Zeitung angesehen Eugenio Moggi , " Vorstellungen von Berechnungen und Monaden ", 1991, und ich verstehe …
10
Intraktabilität von NP-vollständigen Problemen als physikalisches Prinzip?
Ich bin immer fasziniert von dem Mangel an numerischen Beweisen aus der experimentellen Mathematik für oder gegen die P vs NP-Frage. Während die Riemann-Hypothese einige Belege aus der numerischen Verifikation enthält, sind mir keine ähnlichen Belege für die P-gegen-NP-Frage bekannt. Außerdem sind mir keine direkten Konsequenzen für die physische Welt …
6
Geometrische Interpretation der Berechnung
Da ich aus der Physik komme, habe ich gelernt, viele Probleme unter geometrischen Gesichtspunkten zu untersuchen. Zum Beispiel die Differentialgeometrie von Mannigfaltigkeiten in dynamischen Systemen usw. Wenn ich die Grundlagen der Informatik lese, versuche ich immer, geometrische Interpretationen zu finden. Wie eine plausible geometrische Interpretation von rekursiv aufzählbaren Mengen (Ich …
2
Landschaft interaktiver Beweissysteme
Meine erste Frage ist, ob für alle klassischen Komplexitätsklassen eine interaktive Proofsystemcharakterisierung bekannt ist. Ich würde unter anderem P, NP, PSPACE, EXP, NEXP, EXPSPACE, rekursive und rekursiv aufzählbare Funktionen als klassisch bezeichnen. Speziell, ist eine interaktive Beweissystemcharakterisierung für rekursive und rekursiv aufzählbare Funktionen bekannt? Ich weiß nur, dass IP = …
5
Sollten wir durch Reduzierungen mehr oder weniger optimistisch in Bezug auf die Tractability eines Problems sein?
Mir scheint, dass die meisten Komplexitätstheoretiker im Allgemeinen die folgende philosophische Regel glauben: Wenn wir nicht einen effizienten Algorithmus für Problem herauszufinden , können , und wir können Problem reduzieren zu Problem , dann gibt es wahrscheinlich keinen effizienten Algorithmus für Problem , entweder.AAAAAABBBBBB Dies ist der Grund, warum wir …
4
Interessante Ergebnisse in TCS, die für Programmierer ohne technischen Hintergrund leicht zu erklären sind
Angenommen, Sie treffen sich mit Programmierern, die einige professionelle Programmierkurse besucht haben (/ self thought), aber kein Mathematikstudium auf Universitätsniveau absolviert haben. Um ihnen die Schönheit von TCS zu zeigen, möchte ich einige nette Ergebnisse / offene Fragen von TCS sammeln, die leicht erklärt werden können. Ein guter Kandidat für …
2
Was ist theoretische Informatik?
Was genau ist theoretische Informatik? Lernen Sie, in verschiedenen Sprachen zu programmieren und Apps auf Plattformen zu erstellen? Oder geht es nur um immer schnellere Algorithmen, mit denen Sie eine Aufgabe effizienter von den Computern aus erledigen können? Oder ist es das Programmieren und Denken neuer Lebenssituationen, die am Computer …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.