Die Frage ist, ob es möglich ist, zwei Arten des Zugriffs auf eine Ressource in linearer Logik zu modellieren. Ich weiß, dass zwei Arten von Ressourcen möglich sind, nämlich: !r⊢!r⊢!r \vdash r ist unendlich verfügbar r ist nur einmal verfügbar r⊢r⊢r \vdash \quad Aber was ist, wenn ich nicht...
Wir erhalten Stapel, die "Gegenstände" unterschiedlicher Farbe enthalten, und eine Maschine, die mehrere Gegenstände derselben Farbe auf einmal verarbeiten kann. Bei jedem Schritt können wir einen Gegenstand von der Oberseite jedes Stapels entfernen und in unsere Maschine legen (so effektiv kann...
Wie wir wissen, ist der Graphisomorphismus in NP, aber es ist nicht bekannt, dass er NP-vollständig oder P-vollständig ist. Ich habe mich gefragt, ob es Probleme gibt, von denen bekannt ist, dass sie in PSPACE vorhanden sind, von denen jedoch nicht bekannt ist, dass sie PSPACE-vollständig sind und...
Ein -net für einen Bereichsraum ist eine Teilmenge N von X, so dass N \ cap R für alle R \ in \ mathcal {R} nicht leer ist, so dass | X \ cap R | \ ge \ varepsilon | X | .εε\varepsilon( X.,R )(X.,R.)(X,\mathcal{R})N.N.NX.X.XN.∩ R.N.∩R.N\cap RR ∈ R.R.∈R.R\in \mathcal{R}|X.∩ R | ≥ ε |...
Die Grundidee der Rückwärtsinduktion besteht darin, mit allen möglichen Endpositionen eines Spiels zu beginnen, in dem Spieler X gewinnt. Schauen Sie sich für Schach alle Möglichkeiten an, wie Weiß Schwarz schachmatt setzen kann. Arbeiten Sie nun rückwärts zu allen möglichen Bewegungen /...
Im Gradreduktionsschritt von Dinurs Beweis wird der Eingabegraph in einen Graphen transformiert indem jeder Scheitelpunkt durch einen Satz von Scheitelpunkten, , ersetzt wird, so dass und Auferlegen eines Grad-d-Expander-Graphen auf die für alle . Dies macht einem regulären Graphen von d 1 und die...
Ich plane, in diesem Herbst ein „Experiment“ durchzuführen, wenn ich meine Algorithmusklasse unterrichte, mit einem sehr alten, begrenzten Computer (Hauptbeschränkungsfaktor ist wahrscheinlich Speicher - möglicherweise nur 16 KB) und einem modernen / Standard-Computer. Die Idee war, ein Problem mit...
Ich habe eine DAG von Abhängigkeiten, die viele redundante Kanten enthält (siehe Beispiel unten). Ich möchte einen "schnellen" Algorithmus (dh kann ein Diagramm mit mehreren tausend Knoten / Kanten verarbeiten), der ein minimales Subdiagramm findet. Zum Beispiel: A -> B -> C A -> C in...
Ich denke über das Problem nach, eine Sprache (über Alphabet 0-9 und Leerzeichen) zu erkennen, die Zeichenfolgen wie "1 2 3 4 5 6" und "14 15 16 17" enthält, aber nicht "1 3". Dies geschah während der Arbeit an einer allgemeinen Analyseaufgabe, bei der Elemente in einer geordneten Liste enthalten...
Ich bin irgendwie von der Biophysik zu einem gemischten Team gewechselt, in dem wir normalerweise in TCS-Journalen / Konferenzen veröffentlichen. Für die Finanzierung in dem europäischen Land, in dem ich lebe, ist es ratsam, in Ihrem Lebenslauf zu zeigen, dass ich Vorträge oder Konferenzen zu...
[Bearbeiten 21. Juli 2011: Ich habe die Frage bearbeitet, um weitere Beispiele anzufordern] Diese Frage erfordert eine dokumentierte Diskussion oder weitere Beispiele einer heuristischen Beobachtung. Einige mathematische Probleme, die effiziente Algorithmen zulassen, scheinen konvexer Natur zu...
Gibt es eine Trap-Door-ähnliche Funktion, deren Codierungskomplexität die Polynomzeit und deren invertierende Komplexität (ohne geheimen Schlüssel) auch eine Polynomfunktion in der Eingabelänge mit (sagen wir, und ist bedingungslos nachweisbar durch )? Was bedeuten solche Funktionen, wenn...
Betrachten Sie eine Regex-Sprache mit dem gierigen Quantifizierer , dem nicht-gierigen Quantifizierer ∗ ? , geordnete Wechsel- und Charakterklassen. (Dies ist im Wesentlichen eine Subsprache von PCRE ohne Rückreferenzen, umschauende Behauptungen oder einige der anderen schickeren Teile.)∗∗*∗...
Welche Datenstrukturen würden Sie empfehlen, die eine Sammlung von Teilmengen von und die folgenden Vorgänge unterstützen?{ 1 , … , n }{1,…,n}\{1, \dots, n\} S.i n s e r t ( S.)insert(S)insert(S) : Fügt in die Sammlung ein.S.SS S ' S ' ⊂ S.qu e r y( S.)query(S)query(S) : Gibt true zurück, wenn in...
Kontext: Soweit ich weiß, dient in der Theorie der geometrischen Komplexität das Vorhandensein von Hindernissen sozusagen als Nachweis für das Nichtvorhandensein einer effizienten Rechenschaltung für die explizite harte Funktion im betrachteten Problem der unteren Grenze. Nun gibt es einige andere...
Obwohl L.Berman bewiesen hat, dass das Problem der Überprüfung oder Verfälschung von Aussagen erster Ordnung über reelle Zahlen, die Addition und Vergleich, aber keine Multiplikation verwenden, in EXPSPACE liegt. Wurde gezeigt, wie viel Zeit oder Raum Sie benötigen würden, um eine Aussage erster...
Bei gegebenem Graphen G(V,E)G(V,E)G(V,E) besteht das klassische Problem der maximalen Übereinstimmung darin, die maximale Teilmenge der Kanten st für jede Kante wählen , .( u , v ) ≤ M d ( u ) = d ( v ) = 1MMM(u,v)∈M(u,v)∈M(u,v) \in Md(u)=d(v)=1d(u)=d(v)=1d(u)=d(v)=1 Hat jemand die folgende...
Lexikalische Verschlüsse sind eine Implementierungstechnik in Sprachen mit erstklassigen Funktionen. Ich interessiere mich für eine einfache Funktionsbeschreibung von Funktionsschließungen. Kennt jemand eine solche
Ich möchte ein Problem, an dem ich arbeite, mit einem bekannten NP-harten Problem verknüpfen. Ich denke, ich kann mein Problem als ein Problem mit ressourcenbeschränkten kürzesten Pfaden modellieren. Die Struktur meines Graphen ist jedoch nicht völlig willkürlich. Daher ist es hilfreich zu wissen,...
Ich habe kürzlich an einem Workshop über Pseudozufälligkeit im Mathematischen Institut für Pseudozufälligkeit in Chennai teilgenommen. Venkat Guruswami machte im Vorbeigehen während seines Vortrags (zur Codierungstheorie) die folgende schöne Aussage: Es ist bemerkenswert, wie viel man mit der...