Es ist bekannt, dass viele NP-vollständige Probleme einen Phasenübergang aufweisen. Ich interessiere mich hier eher für den Phasenübergang in Bezug auf die Eingrenzung in der Sprache als für die Härte der Eingabe in Bezug auf einen Algorithmus. Um das Konzept eindeutig zu machen, definieren wir es...
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P...
Eine nicht deterministische Boolesche Schaltung hat zusätzlich zu den gewöhnlichen Eingängen eine Menge von "nicht deterministischen" Eingängen y = ( y 1 , ... , y m ) . Eine nicht deterministische Schaltung C akzeptiert den Eingang x, wenn es y gibt, so dass die Schaltung 1 an ( x , y ) ausgibt ....
Ist es möglich, einen CNF in einen anderen CNF Ψ ( C ) umzuwandeln, so dassCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Die Funktion kann in Polynomzeit aus einem geheimen Zufallsparameter r berechnet werden .ΨΨ\Psirrr hat genau danneine Lösung,wenn C eine Lösung hat.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C...
Was sind einige der Hauptprobleme in Bezug auf die Komplexität offener Berechnungen, die sich aus Programmiersprachen ergeben, insbesondere Programmanalyse und -kompilierung? Ich suche nach Problemen im Sinne der "Zeitkomplexität der Hindley-Milner-Typinferenz" oder der "Zeitkomplexität von 0CFA"...
Neil Immermans berühmtes Bild der Welt ist das folgende (zum Vergrößern klicken): Seine Klasse "Wirklich machbar" beinhaltet keine andere Klasse; meine frage ist dann: Was ist ein AC 0- Problem, das als unpraktisch angesehen wird, und warum?...
Das fixierte punktfreie Automorphismusproblem fordert einen Graphautomorphismus, der mindestens Knoten bewegt . Das Problem ist vollständig, wenn für > 0 ist.k ( n ) N P k ( n ) = n c ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Wenn jedoch dann ist das Problem das Polynomzeitproblem, das...
LogCFL ist die Menge aller Sprachen, deren Logspace auf eine kontextfreie Sprache reduziert werden kann. Ebenso ist LogDCFL die Menge aller Sprachen, deren Logspace auf eine deterministische kontextfreie Sprache reduziert werden kann. In diesem Wikipedia-Artikel finden Sie einige natürliche...
Eine Lücke, die mir immer bewusst war und die ich nicht wirklich verstehe, ist die zwischen ungleichmäßiger und gleichmäßiger Rechenkomplexität, wobei die Schaltungskomplexität die ungleichmäßige Version darstellt und Turing-Maschinen dort, wo die Dinge gleichförmig sind. Ich nehme an, "Uniform"...
Angenommen, wir erhalten eine nxn-Matrix M mit ganzzahligen Einträgen. Können wir in P entscheiden, ob es eine Permutation so dass wir für alle Permutationen ?σσ\sigmaπ≠σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ( i )ΠMiσ(i)≠ΠMichπ(ich)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Bemerkungen. Man kann das Produkt...
Hintergrund : In Subhash Khots Original-UGC-Arbeit ( PDF ) beweist er die UG-Härte der Entscheidung, ob eine gegebene CSP-Instanz mit Einschränkungen aller Formen, die nicht alle gleich sind (a, b, c), über ein ternäres Alphabet eine Zuordnung zulässt, die 1 erfüllt - der Auflagen oder ob keine...
Nisan hat in "Pseudozufallsgeneratoren für weltraumgebundene Berechnungen" bewiesen, dass es einen Pseudozufallsgenerator gibt, der weltraumgebundene Berechnungen "täuscht". Gilt diese Konstruktion für jedes Orakel (zumindest für nicht adaptive
Ich habe über eine Hex- Variante nachgedacht , bei der anstelle der beiden Spieler, die abwechselnd Züge machen, jeder Zug, den ein zufällig gewählter Spieler macht, einen Zug macht. Wie schwer ist es, die Gewinnchancen der einzelnen Spieler zu bestimmen? Dieses Problem liegt offensichtlich in...
Bei dieser Frage handelt es sich um Seite 125 des Buches "Zelluläre Automaten in hyperbolischen Räumen: Band 2" von Maurice Margenstern, Verlag Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Nach Meinung des Autors ist die Frage P = NP schlecht gestellt,...
Eine Funktion ist einseitig, wenn durch einen polynomiellen Zeitalgorithmus berechnet werden kann, jedoch für jeden randomisierten polynomiellen Zeitalgorithmus , f Af: { 0 , 1 }∗→ { 0 , 1 }∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffEINAA Pr [ f( A ( f( x ) ) ) = f( x ) ] < 1 / p ( n...
Sei die Kolmogorov-Komplexität einer Zeichenkette x . Haben gibt es eine Zeichenfolge , so dass K ( x x ) < K ( x ) . (Hier ist x x die Verkettung von x mit sich selbst). Eine ähnliche, aber unterschiedliche Frage wurde hier gestellt , aber das in der Antwort auf diese Frage angegebene...
Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche...
Es gibt theoretische Beweise dafür, dass die naive kartesische Produktkonstruktion für die Schnittmenge von DFAs "das Beste ist, was wir tun können". Was ist mit der Verkettung von zwei DFAs? Die triviale Konstruktion besteht darin, jeden DFA in einen NFA umzuwandeln, einen Epsilon-Übergang...
Die Worst-Case- und Average-Case-Analyse sind bekannte Maßstäbe für die Komplexität eines Algorithmus. Die kürzlich geglättete Analyse hat sich als weiteres Paradigma herausgestellt, um zu erklären, warum einige im schlimmsten Fall exponentielle Algorithmen in der Praxis so gut funktionieren,...
Liegt das folgende Problem in PTIME oder coNP-hard vor: Bei zwei booleschen Ausdrücken und in den Variablen ohne Negation (dh die Ausdrücke werden vollständig über und ). Entscheiden Sie, ob , für alle Zuordnungen zu den Variablen den gleichen Wert