Als «algorithms» getaggte Fragen

Ein Algorithmus ist eine Folge genau definierter Schritte, die eine abstrakte Lösung für ein Problem definieren. Verwenden Sie dieses Tag, wenn Ihr Problem mit dem Entwurf und der Analyse von Algorithmen zusammenhängt.

1
Problem ähnlich wie beim Packen
Rufen Sie eine Familie von Sets an F={S1,…,Sk}F={S1,…,Sk}\mathcal{F} = \{S_1, \dotsc, S_k\} "vielfältig" wenn jeder Satz Si∈FSi∈FS_i \in \mathcal{F}hat mindestens ein eindeutiges Element. Was sind mögliche Ansätze, um die größte Vielfalt zu findenSSS in einer Familie von Sets FF\mathcal{F}? Ein Ansatz besteht darin, ein modifiziertes Packungsproblem zu lösen. AnnehmenF={S1,…,Sk}F={S1,…,Sk}\mathcal{F}=\{S_1,\dotsc,S_k\}. LassenKKK …
1
Gierige Wahl und Matroiden (Greedoiden)
Als ich das Material über den gierigen Ansatz durchging, stellte ich fest, dass ein Wissen über Matroiden (Greedoiden) mir helfen wird, das Problem richtig anzugehen. Nachdem ich über Matroiden gelesen habe, habe ich ungefähr verstanden, was Matroiden sind. Aber wie verwenden Sie das Konzept einer Matroid zur Lösung eines bestimmten …
1
Algorithmus zum Testen eines Graphen für
Ich suche einen Algorithmus, der eine Grafik gegeben hat GGG und eine natürliche Zahl tttbestimmt, ob GGG ist ttt-transitiv . Ich bin auch daran interessiert zu wissen, ob dieses Problem in P, NP, NPC oder anderen interessanten Fakten über seine Komplexitätsklasse liegt.
2
Ausgewogene Gewichtung der Kanten im Kaktusgraphen
Bei einem Kaktus wollen wir seine Kanten so gewichten, dass Für jeden Scheitelpunkt beträgt die Summe der Gewichte der auf den Scheitelpunkt einfallenden Kanten nicht mehr als 1. Die Summe aller Kantengewichte wird maximiert. Die Antwort ist eindeutig nicht mehr als n2n2\frac{n}{2} zum nnn Eckpunkte (∑dich= 2 D.∑dich=2D.\sum d_i = …
1
Wenn 3 Punkte kollinear sind
Wenn eine Menge von Punkten den effizientesten Algorithmus zum Bestimmen, ob 3 Punkte der Menge kollinear sind.S.SSp1, . . ,p2p1,..,p2p_1,..,p_2 Das Problem ist, dass ich mit der allgemeinen Definition begonnen habe, aber ich kann das Problem nicht weiter lösen. Was können wir über kollineare Punkte im Allgemeinen sagen? 3 Punkte …
1
Probabilistischer Test der Matrixmultiplikation mit einseitigem Fehler
Gegeben drei Matrizen wollen wir testen , ob AB \ neq C . Angenommen, die arithmetischen Operationen + und - benötigen eine konstante Zeit, wenn sie auf Zahlen aus \ mathbb {Z} angewendet werden .A,B,C∈Zn×nA,B,C∈Zn×nA, B,C \in \mathbb{Z}^{n \times n}AB≠CAB≠CAB \neq C+++−−-ZZ\mathbb{Z} Wie kann ich einen Algorithmus mit einseitigem Fehler …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
1
Verbindung zwischen KMP-Präfixfunktion und String-Matching-Automat
Sei der String-Matching-Automat für das Muster , das heißtAP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})P∈ΣmP∈ΣmP \in \Sigma^m Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) für alle undq∈Qq∈Qq\in Qa∈Σa∈Σa\in \Sigma mit die Länge des längsten Präfixes von , das ein Suffix von , das heißtσP(w)σP(w)\sigma_P(w)PPPwww σP(w)=max{k∈N0∣P0,k⊐w}σP(w)=max{k∈N0∣P0,k⊐w}\qquad \displaystyle \sigma_P(w) = \max \left\{k \in \mathbb{N}_0 \mid P_{0,k} …
1
Einfache Pfade mit Zwischenstopp in gerichteten Graphen
Ich habe zwei Probleme im Zusammenhang mit Pfaden in einem gerichteten Graphen. Let mit der Quelle ein gerichteter Graph und das Ziel . Lassen in einen anderen Eckpunkt sein .G = ( V., E.)G=(V.,E.)G=(V,E)s ∈ V.s∈V.s \in Vt ∈ V.t∈V.t \in Vv ∈ V.∖ { s , t }v∈V.∖{s,t}}v \in …
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.