Theoretische Informatik

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


6
Hat ein algorithmisches Problem eine zeitliche Komplexität, die vom Zählen dominiert wird?
Was ich als Zählen bezeichne, ist das Problem, das darin besteht, die Anzahl der Lösungen für eine Funktion zu finden. Genauer gesagt, bei gegebener Funktion f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (nicht unbedingt Blackbox), approximieren Sie #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Ich suche nach algorithmischen Problemen, die eine Art Zählen beinhalten und bei denen …

1
Asymptotika für den Geldwechsel
Bei Münzwerten mit c 1 = 1 und c 2 &lt; c 3 &lt; . . &lt; c n sind im Bereich [ 2 , N ] gleichmäßig verteilte Zufallszahlen . Asymptotisch, für welchen Bruchteil von Münzen erzeugt der Gier-Algorithmus eine optimale Änderung unter Verwendung dieses Satzes von Stückelungen?nnnc1=1c1=1c_1=1c2&lt;c3&lt;..&lt;cnc2&lt;c3&lt;..&lt;cnc_2<c_3<..<c_{n}[2,N][2,N][2,N] Die …


2
Beziehung zwischen festem Parameter und Approximationsalgorithmus
Fixed Parameter und Approximation sind völlig unterschiedliche Ansätze zur Lösung schwieriger Probleme. Sie haben unterschiedliche Motivation. Die Approximation sucht ein schnelleres Ergebnis mit einer ungefähren Lösung. Ein fester Parameter sucht nach einer exakten Lösung mit Zeitkomplexität in Bezug auf die Exponential- oder eine Funktion von k und die Polynomfunktion von …

1
Was ist der Kompromiss zwischen der Populationsgröße und der Anzahl der Generationen in genetischen Algorithmen
Genetische Algorithmen entwickeln sich in weniger Generationen mit einer größeren Population, benötigen aber auch länger, um eine Generation zu berechnen. Gibt es einige Richtlinien für die Abwägung dieser beiden Faktoren, um so bald wie möglich zu einer tragfähigen Lösung zu gelangen? Ist dies auch der beste Ort für die Frage?

4
LP Entspannung von unabhängigen Set
Ich habe die folgende LP Relaxation von Maximum Independent Set ausprobiert max∑ixichmax∑ichxich\max \sum_i x_i st x ich+ xj≤ 1 ∀ ( i , j ) ∈ E st xich+xj≤1 ∀(ich,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xich≥ 0xich≥0x_i\ge 0 Ich erhalte 1 / 21/21/2 für jede Variable für jeden Kubik nicht-bipartiten …



6
Was sind praktisch berechenbare Eigenschaften von markierten Übergangssystemen?
Ich fand, dass markierte Übergangssysteme ein gutes Modell für meine Anwendung sind. Es gibt nämlich einen Artikel über die Modellierung von Anwendungsfällen mithilfe von LTS. Die Frage ist, was kann über LTSs leicht bewiesen werden? Ich möchte vorhandene Lösungen wiederverwenden, um festzustellen, ob sie für meine Anwendung nützlich sind. Ich …



1
Welche Sprachen wurden erfolgreich kryptografisch erfasst?
Eine Beobachtung, die mit asymmetrischer Kryptographie verbunden ist, ist, dass einige Funktionen (von denen angenommen wird) leicht in eine Richtung auszuführen, aber schwierig zu invertieren sind. Darüber hinaus wird das Problem zu einem Kandidaten für ein Kryptografieschema mit öffentlichem Schlüssel, wenn eine "Falltür" -Information vorhanden ist, mit der die inverse …

3
Welche ganzzahligen linearen Programme sind einfach?
Bei dem Versuch, ein Problem zu lösen, habe ich einen Teil davon als das folgende ganzzahlige lineare Programm ausgedrückt. Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest kann positive Integralwerte annehmen:x i jℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} …


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.