Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

1
Rabins "Schwierigkeitsgrad bei der Berechnung einer Funktion und der teilweisen Anordnung rekursiver Mengen"
Ich suche nach: Michael O. Rabin, "Schwierigkeitsgrad der Berechnung einer Funktion und eine teilweise Anordnung von rekursiven Mengen", Hebrew University, Jerusalem, 1960 Zusammenfassung: „Wir versuchen, den Arbeitsaufwand zu messen, der mit der Berechnung einer bestimmten berechenbaren (rekursiven) Funktion verbunden ist. Ein Begriff des Schwierigkeitsgrades des Rechnens wird eingeführt und untersucht. …
1
Erwarteter minimaler Einfluss einer zufälligen Booleschen Funktion
f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiix ⊕ i i x f MinInf [ f ] d e f = min i ∈ [ n ] Inf i [ f ] .Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi⁡[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf⁡[f]=defmini∈[n]Infi⁡[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. Bei gegebenem Parameter wählen wir eine Zufallsfunktion aus, indem …
1
"Snake" -Rekonfigurationsproblem
Während ich einen kleinen Beitrag über die Komplexität der Videospiele Nibbler und Snake schreibe ; Ich fand heraus, dass beide als Rekonfigurationsprobleme auf ebenen Graphen modelliert werden können. und es ist unwahrscheinlich, dass solche Probleme im Bereich der Bewegungsplanung nicht gut untersucht wurden (stellen Sie sich zum Beispiel eine Kette …
1
Harte Erweiterbarkeitsprobleme
Beim Erweiterbarkeitsproblem erhalten wir einen Teil der Lösung und wir möchten entscheiden, ob wir es zu einer vollständigen Lösung erweitern können. Einige Erweiterbarkeitsprobleme sind effizient lösbar, während andere Erweiterbarkeitsprobleme ein einfaches Problem in ein schweres verwandeln. Zum Beispiel besagt das Konig-Hall-Theorem, dass alle kubischen zweigeteilten Graphen dreikantig färbbar sind, die …
1
Unterscheidung zwischen zwei Münzen
Es ist bekannt , dass die Komplexität der eine Unterscheidung voreingenommen Münze aus einer Messe ist . Gibt es Ergebnisse zur Unterscheidung einer Münze von einer Münze? Ich kann sehen, dass für den Spezialfall von die Komplexität . Ich habe die Vermutung, dass die Komplexität davon abhängt, ob in der …
1
Eine andere Variante von PARTITION
Ich habe eine Reduzierung des folgenden Partitionsproblems auf ein bestimmtes Planungsproblem: Eingabe: Eine Liste positiver Ganzzahlen in nicht absteigender Reihenfolge.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Frage: Gibt es einen Vektor so dass(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} Ohne die zweite Bedingung ist es nur PARTITION, daher NP-hart. Die zweite Bedingung …
2
Las Vegas gegen Monte Carlo randomisierte Entscheidungsbaumkomplexität
Hintergrund: Entscheidungsbaumkomplexität oder Abfragekomplexität ist ein einfaches Berechnungsmodell, das wie folgt definiert ist. Sei eine Boolesche Funktion. Die deterministische Abfragekomplexität von , bezeichnet mit , ist die minimale Anzahl von Bits der Eingabe , die (im schlimmsten Fall) von einem deterministischen Algorithmus gelesen werden müssen berechnet . Beachten Sie, dass …
1
Test der Isomorphie asymmetrischer Graphen
Beim Lesen der Frage Beispiele, bei denen die Eindeutigkeit der Lösung das Auffinden erleichtert, kam mir eine neue (einfachere?) Frage in den Sinn: Tatsächlich wissen wir nicht, ob das Graph Isomorphism ( ) -Problem in .G ichGichGIPPP Aber was passiert, wenn wir annehmen, dass sowohl als auch asymmetrisch sind (dh …
1
Schaltkreisauswertung
Ist bekannt, ob Problem mit der Schaltkreisbewertung in ? Wie wäre es mit (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Wir wissen, dass Schaltkreise der Tiefe mit Schaltkreisen der Tiefe bewertet werden können, wobei eine universelle Konstante ist. Dies bedeutet, dass Schaltkreise mit der Tiefe von einem Schaltkreis mit der Tiefe ausgewertet werden können . …
1
Abstand zwischen regulären Sprachen
Ich mag einen Begriff der „Nähe“ zwischen zwei regulären Sprachen endlicher Worte definieren (und / oder unendlichen Worten Σ & ohgr; ). Die Grundidee ist, dass zwei Sprachen nahe beieinander sein sollen, wenn sie sich nicht durch viele Wörter unterscheiden. Wir könnten auch die Bearbeitungsentfernung in irgendeiner Weise verwenden ... …
2
Bearbeiten Sie die Entfernung mit Verschiebevorgängen
Motivation: Ein Mitautor bearbeitet ein Manuskript und ich würde gerne eine übersichtliche Zusammenfassung der Änderungen sehen. Alle "diff" -ähnlichen Werkzeuge sind in der Regel unbrauchbar, wenn Sie sowohl Text verschieben (z. B. die Struktur neu organisieren) als auch lokale Änderungen vornehmen. Ist es wirklich so schwer, es richtig zu machen? …
2
Hat Existenz von insgesamt
Es ist leicht zu erkennen, dass, wenn es insgesamt N P Suchprobleme gibt, die in der Polynomzeit nicht gelöst werden können (erstellen Sie ein Gesamtsuchproblem, indem Sie sowohl die Zeugen für die Mitgliedschaft als auch die Zeugen für die Nichtmitgliedschaft haben).N P ∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Ist das Gegenteil auch wahr, …
2
Online-Algorithmen Bücher
Gibt es neuere Bücher zu Online-Algorithmen? Ich kenne nur zwei Bücher zu diesem Thema. Online-Berechnung und Wettbewerbsanalyse von Allan Borodin und Ran El-Yaniv: Dies ist ein klassisches, aber altes Buch, das nicht viele aktuelle Fortschritte auf diesem Gebiet enthält. Das Design von kompetitiven Online-Algorithmen nach einem Primal-Dual-Ansatz von Niv Buchbinder …
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.