Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Algorithmisches Vektorproblem
Ich habe ein algebraisches Problem im Zusammenhang mit Vektoren im Feld GF (2). Sei v1, v2, … , Vmv1,v2,…,vmv_1, v_2, \ldots, v_m (0,1) -Vektoren der Dimension nnn und m = nO ( 1 )m=nÖ(1)m=n^{O(1)} . Finden Sie einen polynomialen Zeitalgorithmus, der einen (0,1) -Vektor uuu mit der gleichen Dimension findet, …
1
Die Komplexität des dominierenden Mengenproblems in bestimmten Unterklassen von Akkordgraphen
Ich interessiere mich für die Komplexität des Dominating-Set-Problems (DSP) in einigen spezifischen Graphenklassen, die Unterklassen von Akkordgraphen sind . Ein Diagramm ist ein ungerichtetes Pfaddiagramm, wenn es sich um das Scheitelpunkt-Schnittdiagramm einer Pfadfamilie in einem ungerichteten Baum handelt. Sei UP die Klasse der ungerichteten Pfadgraphen. Ein Diagramm ist ein EPT-Diagramm, …
2
Anwendung von Ramsey-Zahlen
Die Definition von Ramsey-Zahlen lautet wie folgt: Sei eine positive Zahl, so dass jeder Graph der Ordnung mindestens R ( a , b ) entweder eine Clique auf einem Knoten oder eine stabile Menge auf b Knoten enthält.R ( a , b )R(ein,b)R(a,b)R ( a , b )R(ein,b)R(a,b)eineinabbb Ich arbeite …
6
Beratung für Graduiertenschule in Informatik
Ich suche Ratschläge und Feedback. Hintergrund: Ich bin ein Student der Mathematik, der sich für theoretische Informatik interessiert (Komplexität der Berechnungen, Graphentheorie, Kombinatorik). Ich möchte in Informatik promovieren und mich auf Theorie konzentrieren. Mein Hintergrund liegt in mathematisch intensiven Bereichen der Informatik, aber mir fehlt ein eher angewandter Hintergrund in …
4
Modellieren von Objekten (OOP) in der Theorie abhängiger Typen
Ich interessiere mich für die Modellierung von Objekten aus der objektorientierten Programmierung in der Theorie der abhängigen Typen. Als mögliche Anwendung hätte ich gerne ein Modell, in dem ich verschiedene Funktionen von imperativen Programmiersprachen beschreiben kann. Ich konnte nur einen Artikel zur Modellierung von Objekten in der Theorie abhängiger Typen …
1
Lambda-Calculus-Terme, die sich auf sich selbst reduzieren
In meiner fortwährenden Suche nach dem Lambda-Kalkül erwähnt Hindley & Seldins "Lambda-Kalkül und Kombinatoren eine Einführung" die folgende Abhandlung (von Bruce Lercher), die beweist, dass der einzige reduzierbare Ausdruck derselbe ist (Modulo-Alpha-Konvertierung) ist: (λx.xx)(λx.xx)(λx.xx)(λx.xx)(\lambda x.xx)(\lambda x.xx) . Obwohl ich an das Ergebnis glaube, folge ich dem Argument überhaupt nicht. Es …
1
Elementargrenzen für Parameter in der Traktierbarkeit von Festparametern?
In der Definition der (starken) Traktierbarkeit fester Parameter ist die ein Ausdruck der Form wobei die mit dem Parameter ,f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkppp ist Polynom und ist eine berechenbare Funktion.fff Es ist möglich, die Berechenbarkeitsanforderung für durch andere Funktionsklassen zu ersetzen , solange der Begriff der Reduktion ähnlich eingeschränkt ist. (Zum Beispiel decken …
4
Berechnung der Mobius-Funktion
Die Mobius-Funktion μ(n)μ(n)\mu(n) ist definiert als μ(1)=1μ(1)=1\mu(1)=1 , μ(n)=0μ(n)=0\mu(n)=0 wenn nnn einen quadratischen Primfaktor hat, und μ(p1…pk)=(−1)kμ(p1…pk)=(−1)k\mu(p_1 \dots p_k)= (-1)^k wenn alle Primzahlen vorhanden sind p1,…,pkp1,…,pkp_1,\dots,p_k sind unterschiedlich. Kann man μ ( n ) berechnenμ(n)μ(n)\mu(n)ohne Berechnung der Primfaktorisierung von nnn ?
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.