Ermitteln der Größe der kleinsten Teilmenge mit GCD = 1

10

Dies ist ein Problem aus der Übungsstunde des polnischen Collegiate Programming Contest 2012 . Obwohl ich die Lösungen für den Hauptwettbewerb finden konnte, kann ich nirgendwo eine Lösung für dieses Problem finden.

Das Problem ist: Wenn eine Menge von verschiedenen positiven ganzen Zahlen nicht größer als , finden Sie die Größe der kleinsten Teilmenge, die keinen anderen gemeinsamen Teiler als 1 hat. ist höchstens 500, und es kann angenommen werden, dass eine Lösung existiert. $N$ $10^9$ $m$ $N$

Ich konnte zeigen, dass . Meine Argumentation lautet: Angenommen, es gibt eine minimale Teilmenge der Größe , mit gcd = 1. Dann müssen alle 9-Teilmengen von gcd> 1 haben. Es gibt genau 10 solcher Teilmengen, und ihre gcds müssen paarweise koprime sein. Diese gcds seien , wobei für $m \le 9$ $S$ $|S|=10$ $S$ $1 < g_1 < g_2 < ... < g_{10}$ $\gcd(g_i,g_j)=1$ . Danndie maximale Anzahl in ist . Aber , ein Widerspruch. $i \neq j$ $S$ $g_2g_3...g_{10}$ $g_2g_3...g_{10} \ge 3\times5\times7\times11\times...\times29=3234846615 > 10^9$

Trotzdem ist eine unkomplizierte rohe Gewalt immer noch zu langsam. Hat jemand andere Ideen?

algorithms number-theory Wakaka
quelle

Warum kann

?

g_{2} = 2

$g_2 = 2$

vonbrand

.

kann nicht 1 sein, da 9-Teilmengen keine

g_{2} > g_{1} \geq 2

$g_2 > g_1 \ge 2$

g_{1}

$g_1$

gcd

1

Dieses Problem entspricht dem folgenden und es ist trivial, die Reduktion in beide Richtungen zu konstruieren.

Bestimmen Sie anhand einer Liste von Bitvektoren die minimale Anzahl von ihnen, sodass andalle den Bit-Vektor ergeben. $0$ $(*)$

Dann zeigen wir, dass sich die Set-Abdeckung auf reduziert . Mit Satzabdeckung meine ich, wenn eine Liste von Sätzen ist, die Mindestanzahl von Sätzen zu finden, die ihre Vereinigung abdecken. $(*)$ $S_1,\ldots,S_k$

Wir um die Elemente in den Sätzen zu . Sei , wobei wenn , sonst 0. Beachten Sie, dass diese Funktion eine Bijektion ist und daher eine Umkehrung aufweist. $a_1,\ldots,a_n$ $f(S) = (1-\chi_{a_1}(S),\ldots,1-\chi_{a_n}(S))$ $\chi_x(S) = 1$ $x\in S$

Wenn wir nun nach lösen und die Lösungen , dann $(*)$ $f(S_1),\ldots,f(S_k)$ $\{ f(S_{b_1}),\ldots,f(S_{b_m})\}$ $\{ f^{-1}(S_{b_1}),\ldots,f^{-1}(S_{b_m})\}$ ist die Lösung, um Deckung zu setzen.

Daher würde ich denken, dass dieses Problem die Fähigkeit testet, den Suchraum zu beschneiden.

Chao Xu
quelle

Wie finden Sie die minimale Scheitelpunktabdeckung?

Yuval Filmus

oh nvm diese Lösung, es ist stattdessen Deckung gesetzt.

Chao Xu

1

Das stimmt, aber ich denke, wir können vielleicht bestimmte Eigenschaften dieses Sonderfalls ausnutzen. In diesem Fall sind die Mengen beispielsweise alle sehr groß und haben eine Größe von nicht weniger als

. Wenn die Zahlen in den Sets alle klein sind, sind ihre Größen sogar noch größer. Außerdem finden wir definitiv 9 Sets, die alles abdecken. Wie schlagen Sie vor, den Suchraum zu beschneiden?

n - 9

$n-9$

Wakaka

Ich sehe nicht, wie das Problem (*) dem in der Frage angegebenen entspricht. Zum einen verspricht das in der Frage angegebene Problem, dass alle ganzen Zahlen

, was einer Garantie für die Gewichtung der Bitvektoren entspricht, die in Problem (*) nicht vorkommt.

\leq 10^{9}

$\le 10^9$

DW

1

Es ist möglich, dies relativ effizient zu lösen, indem alle paarweisen GCDs berechnet, Duplikate entfernt und dann rekursiv behandelt werden. Es ist der Vorgang des Entfernens von Duplikaten, bevor Sie eine Wiederholung durchführen, die es effizient macht.

Ich werde den Algorithmus im Folgenden näher erläutern , aber zuerst, hilft es , einen binären Operator zu definieren . Wenn Mengen positiver Ganzzahlen sind, definieren Sie $\otimes$ $S,T$

S \otimes T = {gcd (s, t) : s \in S, t \in T} .

$S \otimes T = \{\gcd(s,t) : s \in S, t \in T\}.$

Beachten Sie, dass und (in Ihrem Problem); Typischerweise ist sogar kleiner als eine dieser Grenzen vermuten lässt, was dazu beiträgt, den Algorithmus effizienter zu machen. Beachten Sie auch, dass wir mit berechnen können GCD-Operationen durch einfache Aufzählung. $|S \otimes T| \le |S| \times |T|$ $|S \otimes T| \le 10^9$ $S \otimes T$ $S \otimes T$ $|S| \times |T|$

Mit dieser Notation ist hier der Algorithmus. Sei der eingegebene Satz von Zahlen. Berechnen Sie , dann , dann und so weiter. Finden Sie das kleinste so, dass aber . Dann wissen Sie, dass die Größe der kleinsten solchen Teilmenge $S_1$ $S_2 = S_1 \otimes S_1$ $S_3 = S_1 \otimes S_2$ $S_4 = S_1 \otimes S_3$ $k$ $1 \in S_k$ $1 \notin S_{k-1}$ $k$ . Wenn Sie auch ein konkretes Beispiel für eine solche Teilmenge ausgeben möchten, können Sie eine solche Menge leicht rekonstruieren, indem Sie Rückzeiger beibehalten.

Dies ist relativ effizient, da keiner der Zwischensätze eine Größe über (tatsächlich wird ihre Größe wahrscheinlich viel kleiner als diese sein) und die Laufzeit etwa erfordert gcd-Operationen. $10^9$ $500 \times (|S_1| + |S_2| + \cdots)$

Hier ist eine Optimierung, die die Effizienz noch weiter verbessern könnte. Grundsätzlich können Sie iteriertes Verdoppeln verwenden, um das kleinste so zu finden, dass . Insbesondere verfolgen wir für jedes Element die kleinste Teilmenge von deren gcd und deren Größe . (Wenn Sie Duplikate entfernen, lösen Sie Bindungen zugunsten der Teilmenge auf, die kleiner ist.) Anstatt nun die Folge von neun Mengen berechnen $k$ $1 \in S_k$ $x \in S_i$ $S_1$ $x$ $\le i$ , wir stattdessen die Sequenz der fünf Sätze berechnen , durch Berechnen , dann , dann , dann $S_1,S_2,S_3,S_4,\dots,S_9$ $S_1,S_2,S_4,S_8,S_9$ $S_2 = S_1 \otimes S_1$ $S_4 = S_2 \otimes S_2$ $S_8 = S_4 \otimes S_4$ $S_9 = S_1 \times S_8$ . Finden Sie dabei das erste so dass . Sobald Sie so gefunden haben, dass , können Sie sofort aufhören: Sie können die kleinste Teilmenge finden, deren gcd indem Sie sich die mit verknüpfte Teilmenge ansehen . Sie können also anhalten, sobald Sie eine Menge so dass , wodurch Sie vorzeitig anhalten können, wenn Sie eine kleinere Teilmenge finden. $k \in [1,2,4,8,9]$ $1 \in S_k$ $k$ $1 \in S_k$ $1$ $1$ $S_k$ $1 \in S_k$

$x \in S_k$ $S_i,S_j$ $x$

$[1,2,4,8,9]$ $S_k$

$S_i$

DW
quelle

Ich glaube, eine binäre Suche ist nicht notwendig. Sie können die Elementanzahl mit jedem gcd speichern und bei jeder Verdoppelung auf die minimale Paarsumme setzen.

KWillets

Toller Punkt, @KWillets! Vielen Dank für diese schöne Idee! Ich habe es in meine Antwort aufgenommen.

DW

0

$\sqrt{10^9}$

a_{i} = p_{1}^{n_{i 1}} p_{2}^{n_{i 2}} \dots P_{i}

$a_i = p_1^{n_{i 1}} p_2^{n_{i 2}} \ldots P_i$

P_{i}

$P_i$

a_{i}

$a_i$

n_{i j}

$n_{i j}$

P

$P$

vonbrand
quelle

(1, 1)

$(1,1)$

(1, 0)

$(1,0)$

(1, 0)

$(1,0)$

(0, 0)

$(0,0)$

1

p

$p$

3401

$3401$

p_{i}

$p_i$

500

$500$

P_{i}

$P_i$

A_{p}

$A_p$

p

$p$

B

$B$

A_{p}

$A_p$

| A_{p} \cap B | \geq 1

$|A_p \cap B| \geq 1$

N P

$NP$ -complete, aber es könnte einige Implementierungen geben, die für diese Größe schnell genug sind.

Polkjh

Könnten Sie mich auf einige Implementierungen verweisen, die funktionieren könnten? Bisher kann ich nur Approximationsalgorithmen finden. Vielen Dank!

Wakaka

In diesem Umfragepapier werden sowohl ungefähre als auch genaue Lösungen untersucht. Wenn Sie auf einen Kommentar antworten, fügen Sie dem Kommentar bitte @ name-of-person hinzu. Es wird eine Benachrichtigung an diese Person gesendet. Andernfalls erfahren sie möglicherweise nie etwas über Ihren Kommentar.

Polkjh

-1

Wenn Sie eine Teilmenge mit gcd (S) = 1 finden können, kann ich immer redundante Elemente aus der Teilmenge entfernen, bis nur noch 2 Elemente übrig sind, die gcd (S) = 1 haben. Daher kann ich behaupten, dass entweder die kleinste Die Teilmenge enthält 2 Elemente oder ist nicht vorhanden.

Jetzt verwenden wir die Rekursion, um dieses Problem zu lösen. Teilen wir das Zahlenfeld in zwei Teile, einen mit n-1 Elementen und einen mit 1 Element (letztes Element). Entweder befinden sich die 2 Zahlen in den ersten n-1 Elementen oder ein Element aus dem ersten Teil, gepaart mit dem letzten Element. Daher können wir dieses Problem in lösen

T (n) = T (n-1) + O (n) Zeit. was bedeutet, T (n) = O (n ^ 2).

Pratik
quelle

4

gcd (6, 10, 15) = 1

$\gcd(6,10,15)=1$

Ermitteln der Größe der kleinsten Teilmenge mit GCD = 1

Antworten: