Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] con il semplicissimo programma:
for i=1,2,…,n
V[i ]←choice {true,false}
if E(V[1],…,V[n])=true then accetta else non accetta
La Eè soddisfatta seesolose almeno una delle computazioni termina su accetta. Il tempo di funzionamento del programma nel ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] descritti da vettori di uno s. di Hilbert.
S. metrico (o distanziale). S. nel quale è definita una distanza d tra due qualunque elementi x, y tale che d(x, y)=0 seesolose x=y, e d(x, y)+d(x, z)≥d(y, z) (relazione triangolare). La distanza permette ...
Leggi Tutto
Matematica
Lo studio delle proprietà geometriche delle figure che non dipendono dalla nozione di misura, ma sono legate a problemi di deformazione delle figure stesse.
Proprietà topologiche
La t., che [...] di A definito da ker(f)={a∈A | f(a)=0}, e la sua immagine è {f(a) | a∈A}. Dati gli omomorfismi f:A→B e g:B→C, la successione A −−→f B −−→g C si dice esatta a B se ker(g)=Im(f); cioè, se g(b)=0 seesolose esiste a∈A tale che f(a)=b. Chiaramente due ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] proposizioni e dei connettivi presenti. È sempre possibile decidere se una formula del linguaggio enunciativo è valida o no, seè soddisfacibile o definibile, conseguenza e, nel 1945, Anatolij I. Mal’cev mostrerà non solo come molte fondamentali ...
Leggi Tutto
Algebra moderna. - L'"algebra moderna", che meglio si potrebbe chiamare "algebra astratta" o "algebra generale", si è sviluppata soprattutto negli ultimi venticinque anni dal connubio dell'algebra classica [...] possono esser distribuite in classi, ponendo U, B nella stessa classe (che si indicherà indifferentemente con {U} o {B}) seesolose sono simili fra loro. Fra le classi sopra uno stesso corpo ??? si può definire l'operazione di prodotto, ponendo {U ...
Leggi Tutto
Insieme di linee, reali o ideali, che si intrecciano formando incroci e nodi e dando luogo a una struttura complessa. Più in particolare, infrastruttura tecnica per la distribuzione di un segnale (tipicamente [...] con le condizioni logiche espresse dai nodi; esse sono di tipo and quando l’arco uscente porta un segnale abilitante seesolose tutti gli archi entranti portano segnali abilitanti, di tipo or quando l’arco uscente porta un segnale abilitante ...
Leggi Tutto
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] . Un tale omeomorfismo non ha orbite periodiche seesolose il numero di rotazione è irrazionale, nel qual caso è inoltre semiconiugato alla rotazione corrispondente, ovvero è possibile metterlo in corrispondenza con una rotazione mediante ...
Leggi Tutto
Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] un singolo insieme, bensì come simultaneamente appartenente, anche se in misura differente, a più insiemi distinti. Per per es., gli studi di intelligenza artificiale e il controllo di quei sistemi in cui è presente un certo grado di incertezza nei ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] soddisfano ∣aij∣≤1 per ogni i, j ha determinante al più nn/2 in valore assoluto, con uguaglianza seesolose tutti gli elementi sono uguali a ±1 e AAT=nI. Una matrice che verifichi queste due condizioni si chiama 'matrice di Hadamard'. L'ordine n di ...
Leggi Tutto
Anatomia
Ammasso di cellule epiteliali alla cui attività si deve la formazione di un tessuto.
M. dell’unghia L’ammasso di cellule dello strato onicogeno che si osserva in corrispondenza della radice dell’unghia [...] quando hanno lo stesso numero di righe e di colonne) e inoltre gli elementi che occupano posti corrispondenti risultano uguali; in formule: se A=(ars) e B=(brs) (r=1, 2, ..., m; s=1, 2, ..., n), si ha A=B seesolose ars=brs.
Somma di due m. dello ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...