Als «co.combinatorics» getaggte Fragen

Fragen zur Kombinatorik und zu diskreten mathematischen Strukturen

5
Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie damit zusammenhängt, dass es nicht möglich ist, zu testen, ob …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
3
Kürzeste äquivalente CNF-Formel
Sei eine erfüllbare CNF-Formel mit Variablen und Klauseln. Sei der Lösungsraum von . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Betrachten Sie das Problem, mit andere CNF-Formel mit demselben Satz von Variablen wie bestimmen, mit (demselben Lösungsraum wie ), aber mit möglichst wenigen (einzigen) Klauseln Ziel ist es, die Anzahl …
11
Gibt es Anwendungen von Techniken in der realen Analyse für die theoretische Informatik?
Ich habe weit und breit nach solchen Anwendungen gesucht und bin größtenteils zu kurz gekommen. Ich kann viele Anwendungen von Topologie und ähnlichen Strukturen auf abzählbaren (oder unzählbaren) Mengen finden, aber selten finde ich tatsächlich unzählbare Mengen als Untersuchungsgegenstand von Informatikern, was dazu führt, dass Techniken aus der Analyse benötigt …
1
Was ist der beste Näherungswert für die Mehrheitswahl?
Die Mehrheitsabstimmungsoperation tritt relativ häufig in Bezug auf Fehlertoleranz (und zweifellos an anderen Stellen) auf, wo die Funktion ein Bit ausgibt, das dem Wert entspricht, der im Wert der Eingabebits am häufigsten vorkommt. Nehmen wir der Einfachheit halber an, dass der Eingang immer dann, wenn er die gleiche Anzahl von …
1
Wie viele Permutationen von
Betrachten Sie eine Permutation von [ 1 .. n ] . Eine Inversion ist als ein Paar ( i , j ) von Indizes definiert, so dass i &lt; j und σ ( i ) &gt; σ ( j ) .σσ\sigma[1..n][1..n][1..n](i,j)(i,j)(i, j)i&lt;ji&lt;ji < jσ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) Definieren Sie als die …
2
Verbotene Minderjährige für Diagramme mit begrenzter Baumbreite
Diese Frage ähnelt einer meiner vorherigen Fragen. Es ist bekannt, dass für Graphen mit einer Baumbreite von höchstens t ein verbotenes Moll ist .Kt+2Kt+2K_{t+2}ttt Gibt es eine gut konstruierte, parametrisierte, unendliche Familie von Diagrammen (außer vollständigen Diagrammen und Gitterdiagrammen), bei denen es sich bei Diagrammen aller Baumbreiten um minimal verbotene …
2
Kategorietheorie, rechnerische Komplexität und kombinatorische Zusammenhänge?
Ich habe versucht, " Pearls of Functional Algorithm Design " und anschließend " The Algebra of Programming " zu lesen , und es gibt eine offensichtliche Korrespondenz zwischen rekursiv (und polynomiell) definierten Datentypen und kombinatorischen Objekten mit derselben rekursiven Definition und anschließendem Führen auf die gleiche formale Potenzreihe (oder auf …
2
Bedeckungszeit von gerichteten Graphen
Bei einer zufälligen Bewegung in einer Grafik ist die Bedeckungszeit das erste Mal (erwartete Anzahl von Schritten), dass jeder Scheitelpunkt von der Bewegung getroffen (bedeckt) wurde. Für verbundene ungerichtete Graphen ist bekannt, dass die Überdeckungszeit durch . Es gibt stark miteinander verbundene Digraphen mit einer Exponentialzeit in n . Ein …
1
Gradsätze für lineare Erweiterungsgraphen
Eine lineare Ausdehnung eines poset P ist eine lineare Ordnung auf die Elemente P , derart , daß x ≤ y in P bedeutet , x ≤ y in L für alle x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x ≤ yx≤yx \leq yPP\mathcal{P}x ≤ yx≤yx \leq yLLLx , y∈ Px,y∈Px,y\in\mathcal{P} Ein …
3
Eigenschaften von zufällig gerichteten Diagrammen mit festem Abweichungsgrad
Ich interessiere mich für Eigenschaften von zufallsgerichteten Graphen mit festem Grad ddd . Ich stelle mir ein Zufallsgraphenmodell vor, in dem jeder Scheitelpunkt die Nachbarn auswählt (z. B. mit Ersetzung) Frage : Ist etwas über die stationäre Verteilung und Mischzeiten von Zufallsläufen in diesen Zufallsgraphen bekannt (für verschiedene Werte von …
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.