Vai al contenuto
Allin
Registrati · Accedi

Verificatore di grafo planare

Verifica se un grafo è probabilmente planare. Inserisci una lista di archi: lo strumento applica le disuguaglianze necessarie di Euler (E ≤ 3V−6, e E ≤ 2V−4 senza triangoli) e cerca sottografi K5 e K3,3 del teorema di Kuratowski. È un'euristica onesta, non un algoritmo di planarità completo: «non planare» è certo, «probabilmente planare» non è una prova. Limitato a 16 vertici.

Strumenti correlati

Tutti gli strumenti: Matematica discreta e grafi →
Calcolatore di colorazione di grafiColora un grafo in modo che due vertici adiacenti non condividano mai il colore. Inserisci una lista di archi e l'euristica DSATUR (o golosa) assegna un colore a ogni vertice, mostra le classi di colore e dà un limite superiore del numero cromatico χ. K4 richiede 4 colori, un ciclo pari 2, un ciclo dispari 3 — all'istante.Calcolatore di operazioni bit a bitE, O, XOR, NON e scorrimenti in binario, decimale o esadecimale, a 8, 16, 32 o 64 bit, con lo schema bit per bit e il risultato in tutte e tre le basi. Calcolato con BigInt, quindi le risposte a 64 bit sono corrette dove gli operatori a 32 bit di JavaScript troncherebbero in silenzio.Generatore di triangolazione di DelaunayIncolla un insieme di punti 2D e li triangola alla Delaunay — la triangolazione che evita triangoli troppo sottili, dove nessun punto cade nel cerchio circoscritto di un altro triangolo. Esegue l'algoritmo di Bowyer-Watson nel browser e disegna la mesh, con il numero di punti, triangoli e spigoli.Calcolatore del cammino più breve di DijkstraInserisci un grafo pesato come archi («A, B, 4» per riga) e un nodo sorgente: l'algoritmo di Dijkstra dà la distanza minima e il cammino esatto dalla sorgente a ogni vertice raggiungibile. Funziona per grafi orientati o non orientati, accetta molti formati di archi e segnala i vertici irraggiungibili — ideale per routing, reti e ricerca di percorsi.Calcolatore di ordine in teoria dei gruppiAnalizza i gruppi finiti classici — ciclico Zₙ, prodotti diretti Zₘ×Zₙ, diedrale Dₙ e simmetrico Sₙ. Fornisce l'ordine del gruppo, se è abeliano, la sua struttura, il numero di generatori per i gruppi ciclici, e l'ordine di ogni elemento inserito, inclusa una permutazione in notazione a cicli per Sₙ.Verificatore di cammino e ciclo hamiltonianoVerifica se un grafo ha un cammino hamiltoniano (visita ogni vertice una volta) o un ciclo hamiltoniano (torna anche al punto di partenza). Inserisci una lista di archi, scegli orientato o non, e una ricerca esaustiva con backtracking restituisce un cammino e un ciclo concreti oppure dimostra che non ne esiste nessuno. Limitato a 12 vertici per velocità.Risolutore di mappa di Karnaugh (K-Map)Minimizza una funzione booleana con l'algoritmo di Quine–McCluskey: inserisci mintermini, maxtermini o una tabella di verità e ottieni la SOP o POS minima, gli implicanti primi e il numero di letterali.Simulatore di porte logicheDisegna lo schema a porte di un'espressione booleana e permette di commutare ogni ingresso per seguire il segnale che lo attraversa. Semisommatore, multiplexer, parità e funzione maggioranza sono forniti come esempi.

Verificatore di grafo planare si usa gratis, tutte le volte che vuoi, direttamente da questa pagina. Copre E ≤ 3V−6, e E ≤ 2V−4 senza triangoli — modifica uno qualsiasi e il risultato si aggiorna subito.

Come si usa

  1. Apri lo strumento — senza registrazione né installazione.
  2. Inserisci i tuoi dati o regola le opzioni disponibili.
  3. Ottieni il risultato all'istante, poi copialo o scaricalo.

Domande frequenti

A cosa serve Verificatore di grafo planare?

Verifica se un grafo è probabilmente planare. Inserisci una lista di archi: lo strumento applica le disuguaglianze necessarie di Euler (E ≤ 3V−6, e E ≤ 2V−4 senza triangoli) e cerca sottografi K5 e K3,3 del teorema di Kuratowski. È un'euristica onesta, non un algoritmo di planarità completo: «non planare» è certo, «probabilmente planare» non è una prova. Limitato a 16 vertici.

Com'è un caso concreto?

K₄ ✓ · K₅ ✗ · K₃,₃ ✗ (Kuratowski) — lo strumento mostra ogni passaggio intermedio, non solo il risultato finale.

Che cosa prende in considerazione?

Tiene conto di E ≤ 3V−6, e E ≤ 2V−4 senza triangoli. Modifica uno qualsiasi e il risultato si adegua subito.

In quali casi si usa davvero?

Tutto ciò che si modella come punti e collegamenti: un cammino minimo, la capacità di una rete, una pianificazione con dipendenze o un circuito ridotto alla sua logica.

Qual è l'errore più comune?

Supporre che un cammino minimo resti minimo quando un peso cambia segno. Gli archi negativi invalidano l'argomento greedy su cui poggia Dijkstra, e l'algoritmo restituisce con sicurezza una risposta sbagliata invece di un errore.

In cosa differisce Verificatore di grafo planare da Calcolatore di colorazione di grafi?

Sono vicini ma rispondono a domande diverse: Calcolatore di colorazione di grafi è quello da aprire quando si tratta di colora un grafo in modo che due vertici adiacenti non condividano mai il colore. Inserisci una lista di archi e l'euristica DSATUR (o golosa) assegna un colore a ogni vertice, mostra le classi di colore e dà un limite superiore del numero cromatico χ. K4 richiede 4 colori, un ciclo pari 2, un ciclo dispari 3 — all'istante. Scegli quello che corrisponde al tuo punto di partenza — entrambi sono gratuiti.

Da dove vengono i dati?

Gli algoritmi sono quelli dei manuali e i loro risultati esatti per il grafo inserito. Ciò che varia è il costo: per diversi di questi problemi non si conosce una soluzione efficiente, quindi gli input grandi sono risolti per euristica e lo strumento lo indica.

Per approfondire

Tutte le guide →
SpiegazioneLo sviluppo piano di un cono è un settore, non un cerchioArrotola un cono di 50 mm di raggio e 80 mm di altezza: il suo sviluppo è una fetta di 190,8° di un cerchio da 94 mm. Distendi un paralume quasi cilindrico e il raggio dello sviluppo arriva a 839 mm — più la conicità è dolce, più il vertice si allontana.SpiegazioneUn tasso di drop dell'1 % non vuol dire cento tentativiAll'1 %, cento tentativi danno il 63,4 % — non la certezza. Il novanta per cento chiede 230 tentativi e il novantanove ne chiede 459, e più di un terzo dei giocatori è ancora a mani vuote a cento.SpiegazioneFibonacci e la sezione aureaLa successione di Fibonacci somma ogni coppia di termini per formare il successivo; il rapporto tra termini vicini si avvicina alla sezione aurea φ ≈ 1,618. Scopri come, e dove compare lo schema.SpiegazioneCos'è un punteggio Z? Deviazioni standard sopra la mediaUn punteggio Z è z = (x − μ) / σ — quante deviazioni standard un valore dista dalla media. Impara a calcolarlo, a leggere la normale standard e a convertirlo in un percentile.TutorialCome trovare la distanza tra due puntiUsa la formula della distanza d = √((x₂−x₁)² + (y₂−y₁)²) per misurare la distanza in linea retta tra due punti del piano, con un esempio svolto e il punto medio.TutorialCome calcolare la pendenza di una retta: dislivello su avanzamentoTrova la pendenza di una retta da due punti con m = (y₂ − y₁) / (x₂ − x₁), e leggi cosa indica una pendenza positiva, negativa, zero o indefinita.