Diese Frage bezieht sich auf eine aktuelle Frage von Janoma . Hintergrund In Constraint - Programmierung, ein regelmäßiger globaler constraint ccc über einen Domain - DDD ist ein Paar (s,M)(s,M)(s, M) mit sss einem Tupel von Variablen (der Umfang) , und MMM ein DFA über die Domäne DDD . Eine...
Wir bekommen eine Matroid. Unser Ziel ist es, eine Reihe von Elementen mit minimaler Größe zu finden, die einen nicht leeren Schnittpunkt mit jeder Basis der Matroid haben. Wird das Problem schon einmal untersucht? Ist es in P? Zum Beispiel sollte in einer Spanning Tree Matroid der minimale...
Ich versuche, ein einfaches konkaves Polygon mit einem Minimum an Rechtecken zu bedecken. Meine Rechtecke können beliebig lang sein, aber sie haben maximale Breiten, und das Polygon hat niemals einen spitzen Winkel. Ich dachte darüber nach, mein konkaves Polygon in Dreiecke zu zerlegen, die einen...
Eine Färbung eines m × n- Gitterskkkm×nm×nm \times n ist eine Funktion . Ein gebrochenes Rechteck in C ist ein Tupel ( i , i ' , j , j ' ) , das C ( i , j ) = C ( i ' , j ) = C ( erfüllt ).C:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - das heißt, genau drei...
Crossposted von MO . Sei eine Graphklasse, die durch eine endliche Anzahl verbotener induzierter Untergraphen definiert ist, die alle zyklisch sind (mindestens einen Zyklus enthalten).CCC Gibt es NP-harte Graphprobleme, die in der Polynomzeit für außer Clique und Clique Cover gelöst werden können...
Sei eine beliebige endliche Struktur. Hat seine Theorie erster Ordnung T : = T H ( A ) einen begrenzten Quantifiziererrang in dem Sinne, dass es ein q ∈ N gibt, so dass es für alle φ ∈ T mit q r ( φ ) > q ein φ ′ ∈ T gibt mit q r ( φ ′ ) ≤ q und φ ′ ≡ φ ?AA\mathfrak{A} T:=TH(A)T:=TH(A)...
Ich interessiere mich für das Sonnenblumensystem und seine Anwendungen in der Informatik. Wenn ein Universum und eine Sammlung von k Mengen A i gegeben sind, wird es als k-Sonnenblumen-System bezeichnet, wenn A i ∩ A j = Y für alle i ≠ j ist . Und Y heißt als Kern und A i - Y heißt Blütenblätter....
Sei π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* eine Permutation. Beachten Sie, dass ππ\pi auf eine unendliche Domäne einwirkt, seine Beschreibung jedoch endlich sein kann. Mit Beschreibung meine ich ein Programm, das die Funktionalität von beschreibt ππ\pi. (Wie bei der...
Die Schnittnorm ||A||C||A||C||A||_C einer reellen Matrix A=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} ist das Maximum über alle I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n] der Größe ∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right|....
Wir arbeiten in verteilten Computern und haben ein Komplexitätsproblem festgestellt, das sich auf ein Minimum an Pfadabdeckungsproblemen reduziert. Wir wissen derzeit nicht, wie wir es lösen sollen. Das Problem ist das folgende: Sei eine ganze Zahl und sei Z k ein Graph mit k ( k + 1 )kkkZ.kZkZ_k...
Es gibt viele Beispiele in der Kombinatorik und Informatik, in denen wir ein graphentheoretisches Problem analysieren können, aber für das Hypergraph-Analogon des Problems fehlen unsere Werkzeuge. Warum werden Probleme Ihrer Meinung nach bei 3-einheitlichen Hypergraphen oft viel schwieriger als bei...
Lassen GGG ein zusammenhängender Graph G=(V,E)G=(V,E)G = (V,E) mit Knoten V=1…nV=1…nV = 1 \dots n und die Kanten EEE . Sei wiwiw_i das (ganzzahlige) Gewicht des Graphen GGG , wobei ∑iwi=m∑iwi=m\sum_i w_i = m das Gesamtgewicht im Graphen ist. Das durchschnittliche Gewicht pro Knoten beträgt dann...
Wir wissen, dass das Protokoll des Ranges einer 0-1-Matrix die Untergrenze der deterministischen Kommunikationskomplexität ist, und das Protokoll des ungefähren Ranges die Untergrenze der randomisierten Kommunikationskomplexität ist. Die größte Lücke zwischen deterministischer...
Während meiner Arbeit stieß ich auf folgendes Problem: Ich versuche, eine n×nn×nn \times n (0,1)(0,1)(0,1) -Matrix MMM für jedes n>3n>3n > 3 mit den folgenden Eigenschaften zu finden: Die Determinante von MMM ist gerade. Für alle nicht leeren Teilmengen
Definitionen Sei und sei d , r und g positive ganze Zahlen (mit g > 2 r + 1 ).ϵ > 0ϵ>0\epsilon > 0dddrrrGggG> 2 r + 1g>2r+1g > 2r+1 Sei ein einfacher, d- regelmäßiger, ungerichteter, endlicher Graph mit einem Umfang von mindestens g .G = ( V., E.)G=(V,E)G = (V,E)dddGgg Lassen ein...
Betrachten Sie einen zusammenhängenden zufälligen kubischen Graphen G=(V,E)G=(V,E)G=(V,E) von n=|V|n=|V|n =|V|Eckpunkte, gezeichnet aus G(n,3G(n,3G(n, 3 reg ))) (wie hier definiert , dh 3n3n3n ist gerade und zwei beliebige Graphen haben die gleiche Wahrscheinlichkeit). Natürlich gibt es möglich...
In der Arbeit Zu zwei Problemen der Informationstheorie geben Erdõs und Rényi Untergrenzen für die Mindestanzahl von Wägungen an, die zur Bestimmung der Anzahl falscher Münzen in einem Satz von Münzen erforderlich sind .nnn Formeller: Die falschen Münzen haben ein geringeres Gewicht als die...
Die Entscheidung über den Homomorphismus des Graphen ist im Allgemeinen NP-vollständig. Gibt es Ergebnisse, die dieses Problem untersuchen, wenn die zugrunde liegenden Graphen eine algebraische Struktur aufweisen (z. B. die Entscheidung über Homomorphismen von Cayley- oder Cayley-Coset-Graphen zu...
Gibt es eine bekannte Konstruktion eines linearen Fehlerkorrekturcodes (mit vernünftigen Parametern), so dass bei Angabe eines Booleschen Vektors gibt es auch einen Booleschen Vektor zurück whp? (obwohl es vorbei ist )ECC:Fnq→FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to
Sei . Ich muss einfache Graphen G des Umfangs g erzeugen, so dass die Menge aller g- Zyklen eine doppelte Kantenabdeckung von G bildet ( dh jede Kante wird von genau zwei g- Zyklen geteilt), und so, dass der Schnittpunkt von zwei beliebigen g- Zyklen sind entweder ein Scheitelpunkt, eine Kante oder...