Theoretische Informatik

2

Verständnis eines Mechanismus-Design-Beweises

Ich habe mit den technischen Details eines Beweises für die Auktionstheorie in diesem Artikel zu kämpfen: http://users.eecs.northwestern.edu/~hartline/omd.pdf Insbesondere Satz 2.5: Die notwendigen und ausreichenden Bedingungen für einen wahrheitsgemäßen Mechanismus. Noch genauer gesagt, die Vorwärtsrichtung des Beweises auf Seite 6. Wenn der Autor einen wahrheitsgemäßen Wert als und einen allgemeinen, möglicherweise …

9 gt.game-theory

1

Deckungszeit und spektrale Lücke für reversible zufällige Spaziergänge

Ich suche nach einem Satz, der ungefähr so lautet: Wenn die Bedeckungszeit einer reversiblen Markov-Kette klein ist, ist die spektrale Lücke groß. Hier bedeutet die spektrale Lücke 1 - | λ2|1- -|λ2|1-|\lambda_2|Das heißt, wir ignorieren den kleinsten Eigenwert der Kette. O ( n logn )Ö(nLog⁡n)O(n \log n)1 - max ( …

9 ds.algorithms pr.probability random-walks

1

Lernen mit (signierten) Fehlern

Background––––––––––––––Background_\underline{\bf Background} Im Jahr 2005 führte Regev [1] das Problem des Lernens mit Fehlern (Learning with Errors, LWE) ein, eine Verallgemeinerung des Problems der Lernparität mit Fehlern. Die Annahme der Härte dieses Problems für bestimmte Parameterauswahl liegt nun den Sicherheitsnachweisen für eine Vielzahl von Post-Quanten-Kryptosystemen auf dem Gebiet der gitterbasierten …

9 cc.complexity-theory ds.algorithms cr.crypto-security machine-learning open-problem

1

Effizientes Lösen eines Systems strenger linearer Ungleichungen mit allen Koeffizienten gleich 1 ohne Verwendung eines allgemeinen LP-Lösers?

Gemäß dem Titel gibt es außer der Verwendung eines Allzweck-LP-Lösers einen Ansatz zum Lösen von Ungleichungssystemen über Variablen wobei Ungleichungen die Form ? Was ist mit dem Sonderfall von Ungleichungen, die eine Gesamtordnung über die Summen der Mitglieder der Potenzmenge von ?xi,…,xkxi,…,xkx_i, \ldots, x_k∑i∈Ixi<∑j∈Jxj∑i∈Ixi<∑j∈Jxj\sum_{i \in I} x_i < \sum_{j \in …

9 ds.algorithms linear-algebra linear-programming

3

Gibt es ein bekanntes NP-Complete- (oder NP-Intermediate-) Problem im sublinearen nichtdeterministischen Raum?

Es gibt einige NP-vollständige Probleme ( , S U B S E T S U M usw.), von denen bekannt ist, dass sie in D S P A C E ( n ) auftreten . Was ist mit den sublinearen Räumen?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Gibt es ein bekanntes …

9 cc.complexity-theory np-hardness nondeterminism np-intermediate

2

Eine Variation der Diskrepanz mit zufälligen Graphen

Angenommen, wir haben ein Diagramm auf Knoten. Wir möchten jedem Knoten entweder eine oder eine zuweisen . Nennen Sie dies eine Konfiguration . Die Anzahl von s, die wir zuweisen müssen, ist genau (daher ist die Anzahl von s ). Bei einer Konfiguration σ betrachten wir jeden Knoten i und …

9 graph-theory co.combinatorics optimization

2

Formale Definition / Gegenstück in der Mathematik für „Objekte“ objektorientierter Modelle

Dies ist eine Frage, die ich im Forum der Mathematik-SE gestellt habe und auf die ich hier verwiesen wurde. Also hier ist die Frage- Ich bin ein Neuling sowohl in der formalen Mathematik als auch in der theoretischen Informatik. Bitte nehmen Sie Kontakt mit mir auf, wenn Sie feststellen, dass …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

1

Zählen der Anzahl dicker Bereiche, die ein Quadrat überlappen

Sei ein Einheitsquadrat. Was ist in Abhängigkeit von β die maximale Anzahl von paarweise disjunkten β- Fettregionen mit einem Durchmesser von mindestens 1, die S schneiden können ?SSSββ\betaββ\betaSSS Nachfolgend geben wir eine Abbildung an, die zeigt, dass für die maximale Anzahl 7 beträgt. Was ist mit β = 2 , …

9 cg.comp-geom

2

Vorhandensein von "Farbmatrizen"

Bearbeiten: Es gibt jetzt eine Folgefrage zu diesem Beitrag. Definitionen Sei und ganze Zahlen. Wir verwenden die Notation .k [ i ] = { 1 , 2 , . . . , i }ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Eine Matrix wird als to- Farbmatrix bezeichnet, wenn Folgendes gilt:M = ( m i …

9 co.combinatorics lower-bounds dc.distributed-comp

1

Parametrisierte Komplexität des Zählens von Bicliques

In einer früheren Frage habe ich nach dem parametrisierten Algorithmus zum Auffinden von Bicliques gefragt, ob es schnelle parametrisierte Algorithmen zum Auffinden eines Biclique in einem Vertex-Graphen gibt, und festgestellt, dass er offen ist, wenn es sich um FPT wrt . Gilt das auch für das Zählen der Bicliques, oder …

9 cc.complexity-theory graph-theory counting-complexity parameterized-complexity

2

VC-Dimension von Kugeln in 3 Dimensionen

Ich suche nach der VC-Dimension des folgenden Set-Systems. Universum so dass . Im Mengen-System jede Menge einer Kugel in so dass die Menge genau dann ein Element in enthält, wenn die entsprechende Kugel es enthält in .U={p1,p2,…,pm}U={p1,p2,…,pm}U=\{p_1,p_2,\ldots,p_m\}U⊆R3U⊆R3U\subseteq \mathbb{R}^3RR\mathcal{R}S∈RS∈RS\in \mathcal{R}R3R3\mathbb{R}^3SSSUUUR3R3\mathbb{R}^3 Details, die ich bereits kenne. Die VC-Dimension ist mindestens 4. Dies …

9 cg.comp-geom machine-learning vc-dimension

1

Trennt ein Paar disjunkter homotopischer Zyklen im Dual den Graphen?

Sei ein Graph, der auf einer orientierbaren kompakten Oberfläche der Gattung g eingebettet ist, so dass die Einbettung zellulär ist. Betrachten Sie das Dual des Graphen G ∗ . Lassen C 1 und C 2 disjunkte Zyklen in seinem G * , die miteinander homotope sind und lassen E 1 …

9 graph-theory co.combinatorics topological-graph-theory

2

Polygon innerhalb des Polygon-Generalisierungsproblems

Ich möchte mich bei allen unten stehenden Beiträgen entschuldigen. Habe das falsche Forum ausgewählt, um dies ursprünglich zu posten. Anstatt dies jedoch zu einer völligen Verschwendung zu machen, habe ich die Frage zu einem echten "Theoretischen Informatik" -Problem überarbeitet. Problem: Erstellen Sie einen Algorithmus, der eine Menge von n geordneten …

9 ds.algorithms cg.comp-geom polygon

2

Komplexität beim Finden eines Graphentrennzeichens mit einer bestimmten Eigenschaft

Gibt es bekannte Ergebnisse zur Komplexität der Suche nach einem Separator (beliebiger Größe), der eine bestimmte Eigenschaft erfüllt? Ich weiß, dass ein Cliquentrenner leicht zu finden ist (Polynomzeit), und ich weiß auch, dass viele Artikel das Problem betrachten, kleine Trennzeichen oder Trennzeichen zu finden, bei denen verbundene Komponenten mit einer …

9 ds.algorithms graph-theory graph-algorithms

3

Sonderfälle von Graphic TSP

In Graphic TSP erhalten Sie einen ungewichteten ungerichteten Graphen und das Ziel ist es, eine kürzeste Tour in , die jeden Scheitelpunkt mindestens einmal besucht . Beachten Sie, dass dies NICHT mit dem Auffinden einer Hamilton-Schaltung in identisch ist . Meine Fragen sind:G G.GGGGGGGGG Wie komplex ist Graphic TSP in …

9 ds.algorithms treewidth tsp