Theoretische Informatik

2

VC-Dimension von Polynomen (in einer Variablen) vom Grad d

Lineare Funktionen mit einer Variablen haben VC Dimension = 3 und ich erinnere Lese irgendwo , dass die VC für Polynome vom Grad ist .( d 2 + 3 d + 2 ) / 2ddd(d2+3d+2)/2(d2+3d+2)/2(d^2 + 3d + 2)/2 Ich suche nach Ideen, die die obige Behauptung beweisen können (und …

8 cg.comp-geom vc-dimension

2

Original Hoare Logic Terminierungspapier

Ich suche nach dem Originalpapier, in dem Hoare (oder jemand anderes, nehme ich an) die Kündigung (Total Correctness) bespricht. Oder irgendeine andere frühe Arbeit über die Beendigung der "Vanilla" Hoare-Logik (damit meine ich vermutlich einen HL für eine C-ähnliche Spielzeugsprache). Ich habe mir die axiomatische Basis für Computerprogramme (PDF) angesehen …

8 reference-request lo.logic pl.programming-languages program-verification program-logic

1

Reguläre Ausdrücke von Familien mit regulären Ausdrücken

Ich lese über den Stern Höhe Problem und bemerkte , dass Eggan Familie von regulären Ausdrücken ein einfaches Muster folgt , das durch einen regulären Ausdruck beschrieben werden kann. Meine Frage ist: Gibt es interessante Ergebnisse zu regulären Ausdrücken, die Familien regulärer Ausdrücke beschreiben? Kann dieser Prozess weiter fortgesetzt werden, …

8 fl.formal-languages regular-language regular-expressions

1

Effizientes Finden der Mindestanzahl von Transpositionen, die zum Sortieren einer Liste erforderlich sind

Ich möchte eine effiziente Methode zur Berechnung der Mindestanzahl von Transpositionen, die zum Sortieren einer Liste erforderlich sind. Ich muss nicht wissen, was die Transpositionen tatsächlich sind. Zum Beispiel erfordert die Liste [1, 1, 2, 0] 2 Transpositionen: [1, 1, 2, 0] // Start [1, 1, 0, 2] // Swap …

8 ds.algorithms sorting permutations edit-distance

1

Rationale Funktionen und CFL

In meiner Arbeit trat das Problem der Klassifizierung von CFL unter rationalen Funktionsbildern auf. Mit anderen Worten : Welche Klasse von Sprachen bilden Sprachen freie Sprache, für festen Kontext und deterministisch transduktor . Ich habe einige einfache Ergebnisse erzielt, da die Dyck-Sprache mit zwei Klammern der CFL entspricht und die …

8 fl.formal-languages context-free-languages

1

Zählen Sie die Reduzierung von #SAT auf #HornSAT?

Ist es möglich, eine Reduzierung der Zählung von #SAT auf #HornSAT zu finden? Ich habe diese Frage hier nicht gefunden und habe mich daher entschlossen zu prüfen, ob jemand eine Antwort darauf hat. Lassen Sie mich erklären, was ich mit Reduktion zähle. Angenommen, sind zwei Zählprobleme. Zum Beispiel fragt #SAT, …

8 cc.complexity-theory complexity-classes sat counting-complexity reductions

2

Gibt es einen Zusammenhang zwischen TCS und nachhaltiger Energieforschung?

Kennt jemand eine Arbeit, die Theoretische Informatik und billige / nachhaltige Energie verbindet? dh gibt es irgendwelche Arbeiten in TCS mit der Anwendung in billiger / nachhaltiger Energie.

8 application-of-theory

1

Zweiwege deterministische Mehrkopfzählerautomaten oder Logspace TM mit Zähler

Ist das etwas über Sprachen bekannt, die vom bidirektionalen deterministischen Mehrkopfzählerautomaten oder Logspace TM mit Zähler (äquivalentes Modell) erkannt werden? Diese Klasse heißt Aux2DC in der Arbeit meines Beraters . Oder über solch eine nichtdeterministische Klasse? Ich habe erhalten, dass die Klasse von Sprachen, die von solchen nichtdeterministischen Maschinen erkannt …

8 cc.complexity-theory complexity-classes fl.formal-languages logspace counter-automata

1

Prooftechniken im Zusammenhang mit der Curry-Howard-Korrespondenz

Ich suche nach Quellen zum formalisierten Begriff von Programmen. Dies scheint eng mit der Curry-Howard-Korrespondenz verbunden zu sein, aber man könnte dies auch auf Universal Turing Machines und seine Fähigkeit zurückführen, die Beschreibung und Eingabe eines TM zu lesen. Wenn ich über Curry-Howard-Korrespondenz lese, habe ich das Gefühl, dass die …

8 pl.programming-languages universal-computation type-systems program-verification formal-methods

1

Anwendbarkeit der theoretischen Informatik in der Malware-Forschung

Ich würde gerne wissen, wie wichtig TCS für die Malware-Forschung ist. Aufgrund des großen Volumens neuer Malware-Varianten pro Tag (~ 50.000 Proben / Tag laut McAfee) sind Malware-Forscher stark von dynamischen Analysen abhängig (dh das Ausführen der Proben in einer Sandbox und die Überwachung ihres Verhaltens) und die Abkehr von …

8 cr.crypto-security security

2

Erzeugen eines Punktes in einem rationalen Polytop

Betrachten Sie ein rationales Polytop , das mittels eines Trennungsorakels definiert wird. Das heißt, P kann implizit beschrieben werden als P = { x ∈ R k : A x ≤ b , A ∈ Z m × k , b ∈ Z m } , aber da m sehr …

8 ds.algorithms convex-optimization convex-geometry high-dimensional-geometry

1

NP-Härte einer Set Cover Spezialisierung

Ist das folgende Problem NP-schwer? Bei einer Menge von reellen Zahlen (Zielen) x 1 , … , x N und einem "Dreizack", der durch zwei Abstände a , b von der Mitte des Dreizacks definiert ist, wie hoch ist die minimale Anzahl K der Positionen p 1 , ... , …

8 cc.complexity-theory np-hardness set-cover

2

Größter Satz für einstufige unstrukturierte Quantensuche

Was ist die größte Menge, die einen deterministischen Quantensuchalgorithmus für ein einzelnes markiertes Element zulässt, das nur mit einem einzigen Aufruf des Orakels arbeitet? Die Frage ist interessant, da Grovers Algorithmus, der für die unstrukturierte Suche in einem Element-Satz O ( √ benötigt)NN.Nruft das Orakel an, kann tatsächlich einen 4-Elemente-Satz …

8 quantum-computing quantum-information

1

Leseliste zum Umschreiben von Systemen?

Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse. Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für Originalarbeiten: Ich habe mir Dershowitz 'Arbeit zum Nachweis der Terminierung, …

8 lo.logic big-list type-theory lambda-calculus term-rewriting-systems

1

Ist der Tensorrang in VNP?

Ist bekannt, ob der Tensorrang dreidimensionaler Tensoren in VNP (nicht deterministische valiant class) liegt? Wenn ja, was ist über den hochdimensionalen Tensorrang bekannt? Tatsächlich interessiere ich mich für ein viel einfacheres Problem. Ich würde gerne wissen, ob man Klassen-Nicht-Null-Polynome die in VNP liegen, in n 3 Variablen konstruieren kann , …

8 cc.complexity-theory algebraic-complexity