l'accesso più veloce di browser!
71 relazioni: Accoppiamento (teoria dei grafi), Acta Mathematica, Algoritmo, Algoritmo di approssimazione, Algoritmo euristico, Algoritmo greedy, American Mathematical Society, Backtracking, Berkeley Software Distribution, Bioinformatica, Branch and bound, Chimica computazionale, Classi di complessità P e NP, Combinatoria, Communications of the ACM, Complessità dei circuiti, Complessità temporale, Computer a DNA, Concezione del tempo, Coppia non ordinata, Cricca, Cricca (teoria dei grafi), Forma normale congiuntiva, Glossario di teoria dei grafi, Grafo, Grafo aleatorio, Grafo bipartito, Grafo complemento, Grafo completo, Grafo cordale, Grafo d'intervallo, Grafo di dischi, Grafo di Turán, Grafo perfetto, Grafo planare, Informatica, Insieme finito, Insieme indipendente (teoria dei grafi), Invertitore, Ipotesi del tempo esponenziale, Isomorfismo di sottografi, Lingua inglese, Matrice delle adiacenze, Metodo forza bruta, NP (complessità), NP-completo, NP-difficile, Ordine lessicografico, P (complessità), Porta AND, ..., Porta OR, Problema decisionale, Problema del commesso viaggiatore, Programmazione a vincoli, Programmazione dinamica, Proprietà di chiusura, Relazione d'ordine, Rete sociale, Schema di approssimazione in tempo polinomiale, Science, Soddisfacibilità booleana, Springer (azienda), Stephen Cook, Teorema di Cook-Levin, Teoria della complessità computazionale, Teoria di Ramsey, The New York Times, Valore di verità, Vertice (teoria dei grafi), ZPP (complessità), 21 problemi NP-completi di Karp. Espandi índice (21 più) »
Accoppiamento (teoria dei grafi)
Nella disciplina matematica della teoria dei grafi, un accoppiamento o abbinamento (in inglese matching) o insieme degli spigoli indipendenti in un grafo è un insieme bipartito di spigoli senza vertici comuni.
Nuovo!!: Problema della cricca e Accoppiamento (teoria dei grafi) · Mostra di più »
Acta Mathematica
Acta Mathematica è una rivista scientifica a revisione paritaria fondata nel 1882 a Stoccolma dal matematico svedese Gösta Mittag-Leffler.
Nuovo!!: Problema della cricca e Acta Mathematica · Mostra di più »
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: Problema della cricca e Algoritmo · Mostra di più »
Algoritmo di approssimazione
Nell'informatica e nella ricerca operativa, un algoritmo di approssimazione è un algoritmo usato per trovare soluzioni approssimate a problemi di ottimizzazione.
Nuovo!!: Problema della cricca e Algoritmo di approssimazione · Mostra di più »
Algoritmo euristico
Algoritmo euristico (o euristica): in matematica e informatica è un particolare tipo di algoritmo progettato per risolvere un problema più velocemente, qualora i metodi classici siano troppo lenti o per trovare una soluzione approssimata, qualora i metodi classici falliscano nel trovare una soluzione esatta.
Nuovo!!: Problema della cricca e Algoritmo euristico · Mostra di più »
Algoritmo greedy
Un algoritmo greedy è un algoritmo che cerca di ottenere una soluzione ottima da un punto di vista globale attraverso la scelta della soluzione più golosa (aggressiva o avida, a seconda della traduzione preferita del termine greedy dall'inglese) ad ogni passo locale.
Nuovo!!: Problema della cricca e Algoritmo greedy · Mostra di più »
American Mathematical Society
La Società Matematica Americana (AMS) è un'associazione che si dedica ai problemi della ricerca e dell'insegnamento della matematica.
Nuovo!!: Problema della cricca e American Mathematical Society · Mostra di più »
Backtracking
Il backtracking (in italiano, si può definire monitoraggio a ritroso) è una tecnica per trovare soluzioni a problemi in cui devono essere soddisfatti dei vincoli.
Nuovo!!: Problema della cricca e Backtracking · Mostra di più »
Berkeley Software Distribution
La Berkeley Software Distribution, sigla BSD, è la variante originaria di Unix sviluppata presso l'Università di Berkeley in California ed è alla base di una delle due famiglie principali di sistemi operativi liberi attualmente più diffusi, tra cui gli esponenti più noti sono FreeBSD, PC-BSD, OpenBSD, NetBSD, GhostBSD, MidnightBSD, DesktopBSD, FreeNAS, FreeSBIE, DarwinOS (il cuore Unix di macOS) e DragonFly BSD (con le sue distribuzioni FireflyBSD).
Nuovo!!: Problema della cricca e Berkeley Software Distribution · Mostra di più »
Bioinformatica
La bioinformatica è una disciplina scientifica dedicata alla risoluzione di problemi biologici a livello molecolare con metodi informatici.
Nuovo!!: Problema della cricca e Bioinformatica · Mostra di più »
Branch and bound
Il branch and bound è una tecnica generale per la risoluzione di problemi di ottimizzazione combinatoria (cioè problemi con spazio di soluzioni finito) e si basa sulla scomposizione del problema originale in sottoproblemi più semplici da risolvere.
Nuovo!!: Problema della cricca e Branch and bound · Mostra di più »
Chimica computazionale
La chimica computazionale è quella branca della chimica teorica che si occupa dello sviluppo di modelli matematici, basati sia sulla meccanica classica sia sulla meccanica quantistica, in grado di simulare sistemi chimici, con lo scopo di calcolarne le grandezze fisiche caratteristiche e prevederne le proprietà chimiche.
Nuovo!!: Problema della cricca e Chimica computazionale · Mostra di più »
Classi di complessità P e NP
Il problema delle classi P e NP è un problema tuttora aperto nella teoria della complessità computazionale.
Nuovo!!: Problema della cricca e Classi di complessità P e NP · Mostra di più »
Combinatoria
Con il termine combinatoria (che comprende anche la geometria combinatoria) si intende il settore della matematica che studia insiemi finiti di oggetti semplici (interi, stringhe, nodi e collegamenti, punti e linee, configurazioni discrete, insiemi finiti,...) che soddisfano proprietà ben definite e tendenzialmente semplici.
Nuovo!!: Problema della cricca e Combinatoria · Mostra di più »
Communications of the ACM
Communications of the ACM (CACM) è una delle maggiori riviste mensili dell'Association for Computing Machinery.
Nuovo!!: Problema della cricca e Communications of the ACM · Mostra di più »
Complessità dei circuiti
In informatica teorica, la complessità dei circuiti è un ramo della teoria della complessità computazionale nel quale le funzioni booleane sono classificate secondo la dimensione o la profondità dei circuiti booleani che le computano.
Nuovo!!: Problema della cricca e Complessità dei circuiti · Mostra di più »
Complessità temporale
In informatica, la complessità temporale di un algoritmo quantifica la quantità di tempo impiegata da un algoritmo a essere eseguito in funzione della lunghezza della stringa che rappresenta l'input:226.
Nuovo!!: Problema della cricca e Complessità temporale · Mostra di più »
Computer a DNA
Con il termine generico di computer a DNA ci si riferisce ad una forma di computer che utilizza il DNA (e quindi la biochimica e la biologia molecolare) al posto dei tradizionali computer a base di silicio.
Nuovo!!: Problema della cricca e Computer a DNA · Mostra di più »
Concezione del tempo
La concezione filosofica del tempo, così come dello spazio, oltre a fornire un modello interpretativo dei fenomeni studiati dalla fisica e dalla scienza, si carica di significati spirituali, religiosi e psicologici, a seconda del contesto storico e culturale.
Nuovo!!: Problema della cricca e Concezione del tempo · Mostra di più »
Coppia non ordinata
In matematica, una coppia non ordinata o insieme di coppie è un insieme della forma, cioè un insieme che ha due elementi a e b senza nessuna particolare relazione tra loro.
Nuovo!!: Problema della cricca e Coppia non ordinata · Mostra di più »
Cricca
*Cricca – fenditura sottile e profonda in un materiale metallico.
Nuovo!!: Problema della cricca e Cricca · Mostra di più »
Cricca (teoria dei grafi)
In teoria dei grafi, una cricca (o clique) è un insieme V di vertici in un grafo non orientato G, tale che, per ogni coppia di vertici in V, esiste un arco che li collega.
Nuovo!!: Problema della cricca e Cricca (teoria dei grafi) · Mostra di più »
Forma normale congiuntiva
Nella logica booleana, una formula è in forma normale congiuntiva o congiunta (FNC), indicata anche come CNF (acronimo di Conjunctive Normal Form) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali.
Nuovo!!: Problema della cricca e Forma normale congiuntiva · Mostra di più »
Glossario di teoria dei grafi
Un grafo G è una coppia (V, E) dove V è un insieme e E ⊆ V × V è un sottoinsieme del prodotto cartesiano di V per se stesso.
Nuovo!!: Problema della cricca e Glossario di teoria dei grafi · Mostra di più »
Grafo
Grafo (non orientato) con 6 nodi e 5 archi I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi.
Nuovo!!: Problema della cricca e Grafo · Mostra di più »
Grafo aleatorio
In teoria dei grafi un grafo aleatorio è un grafo generato da un procedimento aleatorio, ovvero è una variabile aleatoria le cui realizzazioni sono dei grafi.
Nuovo!!: Problema della cricca e Grafo aleatorio · Mostra di più »
Grafo bipartito
Nella teoria dei grafi, un grafo bipartito è un grafo tale che l'insieme dei suoi vertici si può partizionare in due sottoinsiemi tali che ogni vertice di una di queste due parti è collegato solo a vertici dell'altra.
Nuovo!!: Problema della cricca e Grafo bipartito · Mostra di più »
Grafo complemento
Nella teoria dei grafi, il complemento o inverso di un grafo G è un grafo H sugli stessi vertici tale che due distinti vertici di H sono adiacenti se e solo se non sono adiacenti in G. Ossia, per generare il complemento di un grafo, si riempiono tutti gli spigoli mancanti richiesti per formare un grafo completo, e si rimuovono tutti gli spigoli che vi erano in precedenza.
Nuovo!!: Problema della cricca e Grafo complemento · Mostra di più »
Grafo completo
Nella teoria dei grafi un grafo completo è un grafo semplice nel quale ogni vertice è collegato a tutti i vertici rimanenti.
Nuovo!!: Problema della cricca e Grafo completo · Mostra di più »
Grafo cordale
Nel campo matematico della teoria dei grafi, un grafo è cordale se ciascuno dei suoi cicli di quattro o più vertici ha una corda, che è uno spigolo che non fa parte del ciclo ma connette due vertici di quest'ultimo.
Nuovo!!: Problema della cricca e Grafo cordale · Mostra di più »
Grafo d'intervallo
Sette intervalli sulla linea reale e il corrispondente grafo d'intervallo a sette vertici. Nella teoria dei grafi, un grafo d'intervallo è il grafo d'intersezione di un multiinsieme di intervalli sulla linea reale.
Nuovo!!: Problema della cricca e Grafo d'intervallo · Mostra di più »
Grafo di dischi
Una collezione di cerchi unitari e il corrispondente grafo di dischi. Nella teoria geometrica dei grafi, un grafo di dischi è il grafo d'intersezione di una famiglia di dischi unitari nel piano euclideo.
Nuovo!!: Problema della cricca e Grafo di dischi · Mostra di più »
Grafo di Turán
Il grafo di Turán T(13,4). Il grafo di Turán T(n,r) è un grafo formato suddividendo un insieme di n vertici in r sottoinsiemi, con dimensioni più uguali possibili, e connettendo due vertici mediante uno spigolo ogni volta che appartengono a sottoinsiemi diversi.
Nuovo!!: Problema della cricca e Grafo di Turán · Mostra di più »
Grafo perfetto
Nella teoria dei grafi, un grafo perfetto è un grafo nel quale il numero cromatico di ogni sottografo indotto è uguale alla dimensione della cricca più grande di quel sottografo.
Nuovo!!: Problema della cricca e Grafo perfetto · Mostra di più »
Grafo planare
Nella teoria dei grafi si definisce grafo planare un grafo che può essere raffigurato in un piano in modo che non si abbiano archi che si intersecano.
Nuovo!!: Problema della cricca e Grafo planare · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Problema della cricca e Informatica · Mostra di più »
Insieme finito
In matematica, un insieme A è detto finito se esiste una biiezione (ovverosia una funzione sia iniettiva che suriettiva) tra un insieme della forma \left\ ed A, dove n è un numero naturale.
Nuovo!!: Problema della cricca e Insieme finito · Mostra di più »
Insieme indipendente (teoria dei grafi)
Nella teoria dei grafi, un insieme indipendente o insieme stabile è un insieme di vertici in un grafo, nessuno dei quali è adiacente a due a due.
Nuovo!!: Problema della cricca e Insieme indipendente (teoria dei grafi) · Mostra di più »
Invertitore
In elettronica digitale, l'invertitore, o porta NOT, è una porta logica che implementa la negazione logica.
Nuovo!!: Problema della cricca e Invertitore · Mostra di più »
Ipotesi del tempo esponenziale
Nella teoria della complessità computazionale, l'ipotesi del tempo esponenziale è un'assunzione di difficoltà computazionale non dimostrata, formalizzata da, che afferma che 3-SAT (o uno qualsiasi dei vari problemi NP-completi correlati) non possono essere risolti in tempo subesponenziale nel caso peggiore.
Nuovo!!: Problema della cricca e Ipotesi del tempo esponenziale · Mostra di più »
Isomorfismo di sottografi
Nella teoria della complessità computazionale, l'isomorfismo di sottografo è un problema decisionale di tipo NP-completo.
Nuovo!!: Problema della cricca e Isomorfismo di sottografi · Mostra di più »
Lingua inglese
L'inglese (nome nativo English) è una lingua indoeuropea appartenente al ramo occidentale delle lingue germaniche, assieme all'olandese, all'alto e basso tedesco, al fiammingo e al frisone.
Nuovo!!: Problema della cricca e Lingua inglese · Mostra di più »
Matrice delle adiacenze
La matrice delle adiacenze o matrice di connessione costituisce una particolare struttura dati comunemente utilizzata nella rappresentazione dei grafi.
Nuovo!!: Problema della cricca e Matrice delle adiacenze · Mostra di più »
Metodo forza bruta
In informatica il metodo "forza bruta" (anche noto come ricerca esaustiva della soluzione) è un algoritmo di risoluzione di un problema dato che consiste nel verificare tutte le soluzioni teoricamente possibili fino a che si trova quella effettivamente corretta.
Nuovo!!: Problema della cricca e Metodo forza bruta · Mostra di più »
NP (complessità)
La classe di problemi NP comprende tutti quei problemi decisionali che, per trovare una soluzione su una macchina di Turing non deterministica, impiegano un tempo polinomiale.
Nuovo!!: Problema della cricca e NP (complessità) · Mostra di più »
NP-completo
Nella teoria della complessità computazionale i problemi NP-completi sono i più difficili problemi nella classe NP ("problemi non deterministici in tempo polinomiale") nel senso che, se si trovasse un algoritmo in grado di risolvere "velocemente" (nel senso di utilizzare tempo polinomiale) un qualsiasi problema NP-completo, allora si potrebbe usarlo per risolvere "velocemente" ogni problema in NP.
Nuovo!!: Problema della cricca e NP-completo · Mostra di più »
NP-difficile
In teoria della complessità, i problemi NP-difficili o NP-ardui (in inglese NP-hard, da nondetermistic polynomial-time hard problem, "problema difficile non deterministico in tempo polinomiale") sono una classe di problemi che può essere definita informalmente come la classe dei problemi almeno difficili come i più difficili problemi delle classi di complessità P e NP.
Nuovo!!: Problema della cricca e NP-difficile · Mostra di più »
Ordine lessicografico
L'ordine lessicografico è un criterio di ordinamento di stringhe costituite da una sequenza di simboli, per i quali è già presente un ordine interno.
Nuovo!!: Problema della cricca e Ordine lessicografico · Mostra di più »
P (complessità)
Nella teoria della complessità computazionale, P, anche conosciuto come PTIME o DTIME(nO(1)), è una delle più importanti classi di complessità.
Nuovo!!: Problema della cricca e P (complessità) · Mostra di più »
Porta AND
La porta AND è una porta logica digitale che implementa la congiunzione logica; essa si comporta secondo la tabella di verità a destra.
Nuovo!!: Problema della cricca e Porta AND · Mostra di più »
Porta OR
La porta OR (dalla congiunzione inglese or, "o") è una porta logica digitale che implementa la disgiunzione logica: essa si comporta come la tabella di verità a destra.
Nuovo!!: Problema della cricca e Porta OR · Mostra di più »
Problema decisionale
Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o più criteri.
Nuovo!!: Problema della cricca e Problema decisionale · Mostra di più »
Problema del commesso viaggiatore
Il problema del commesso viaggiatore è il più semplice fra i problemi di routing e di scheduling.
Nuovo!!: Problema della cricca e Problema del commesso viaggiatore · Mostra di più »
Programmazione a vincoli
In informatica la programmazione a vincoli, detta anche programmazione con vincoli o constraint è un paradigma di programmazione dove le relazioni fra variabili possono essere dichiarate in forma di vincoli.
Nuovo!!: Problema della cricca e Programmazione a vincoli · Mostra di più »
Programmazione dinamica
In Informatica la programmazione dinamica è una tecnica di progettazione di algoritmi basata sulla divisione del problema in sottoproblemi e sull'utilizzo di sottostrutture ottimali.
Nuovo!!: Problema della cricca e Programmazione dinamica · Mostra di più »
Proprietà di chiusura
In matematica, si dice che un'operazione \# definita su un insieme non vuoto X verifica la proprietà di chiusura (detta anche proprietà di stabilità) se: ovvero se essa è interna su X. Alternativamente si dice che l'insieme X è chiuso rispetto all'operazione \#.
Nuovo!!: Problema della cricca e Proprietà di chiusura · Mostra di più »
Relazione d'ordine
In matematica, più precisamente in teoria degli ordini, una relazione d'ordine su di un insieme è una relazione binaria tra elementi appartenenti all'insieme che gode delle seguenti proprietà.
Nuovo!!: Problema della cricca e Relazione d'ordine · Mostra di più »
Rete sociale
Una rete sociale (in lingua inglese social network) consiste in un qualsiasi gruppo di individui connessi tra loro da diversi legami sociali.
Nuovo!!: Problema della cricca e Rete sociale · Mostra di più »
Schema di approssimazione in tempo polinomiale
In informatica, uno schema di approssimazione in tempo polinomiale (in inglese polynomial-time approximation scheme o PTAS) è un tipo di algoritmo di approssimazione per problemi di ottimizzazione (molto spesso, problemi di ottimizzazione NP-difficili).
Nuovo!!: Problema della cricca e Schema di approssimazione in tempo polinomiale · Mostra di più »
Science
Science è una rivista scientifica pubblicata dall'American Association for the Advancement of Science, ed è considerata una delle più prestigiose riviste in campo scientifico, insieme a Nature È stata fondata da un giornalista newyorkese, John Michaels, nel 1880, con la collaborazione dal punto di vista finanziario prima di Thomas Edison, poi quella di Alexander Graham Bell.
Nuovo!!: Problema della cricca e Science · Mostra di più »
Soddisfacibilità booleana
La soddisfacibilità booleana, o soddisfacibilità proposizionale o SAT, è il problema di determinare se una formula booleana è soddisfacibile o insoddisfacibile.
Nuovo!!: Problema della cricca e Soddisfacibilità booleana · Mostra di più »
Springer (azienda)
Springer Science+Business Media è un gruppo editoriale con sedi a Berlino, Heidelberg, negli Stati Uniti e nei Paesi Bassi.
Nuovo!!: Problema della cricca e Springer (azienda) · Mostra di più »
Stephen Cook
Nessuna descrizione.
Nuovo!!: Problema della cricca e Stephen Cook · Mostra di più »
Teorema di Cook-Levin
Nella teoria della complessità algoritmica, il teorema di Cook-Levin, dimostrato da Stephen Cook nel suo articolo "Complessità delle Procedure di Dimostrazione dei Teoremi" ("The Complexity of Theorem Proving Procedures") del 1971, afferma che il problema di soddisfacibilità booleana è NP-completo.
Nuovo!!: Problema della cricca e Teorema di Cook-Levin · Mostra di più »
Teoria della complessità computazionale
In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Nuovo!!: Problema della cricca e Teoria della complessità computazionale · Mostra di più »
Teoria di Ramsey
La teoria di Ramsey, così chiamata dal nome di Frank Plumpton Ramsey, è un ramo della matematica discreta che si occupa di problemi della forma: qual è il minor numero di elementi necessario affinché una certa proprietà sia vera?.
Nuovo!!: Problema della cricca e Teoria di Ramsey · Mostra di più »
The New York Times
Il New York Times – spesso abbreviato in N.Y. Times – è un quotidiano statunitense fondato a New York il 18 settembre 1851 da Henry Jarvis Raymond e George Jones durante la presidenza di Millard Fillmore.
Nuovo!!: Problema della cricca e The New York Times · Mostra di più »
Valore di verità
In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera.
Nuovo!!: Problema della cricca e Valore di verità · Mostra di più »
Vertice (teoria dei grafi)
Nella teoria dei grafi, un vertice o nodo è l'unità fondamentale di cui i grafi sono costituiti: un grafo consiste in un insieme di vertici e di archi (coppie di vertici, ordinate se diretto, non ordinate altrimenti).
Nuovo!!: Problema della cricca e Vertice (teoria dei grafi) · Mostra di più »
ZPP (complessità)
Nella teoria della complessità computazionale, ZPP (Zero-error Probabilistic Polynomial time, "tempo polinomiale probabilistico con errore zero") è la classe di complessità dei problemi per i quali esiste una macchina di Turing probabilistica con queste proprietà.
Nuovo!!: Problema della cricca e ZPP (complessità) · Mostra di più »
21 problemi NP-completi di Karp
Nella teoria della complessità computazionale, i 21 problemi NP-completi di Karp sono un insieme di problemi computazionali che si presentano NP-completi.
Nuovo!!: Problema della cricca e 21 problemi NP-completi di Karp · Mostra di più »
Riorienta qui:
Problema della cricca massima.
