Teorema di Ramsey Introduzione Teorema di Schur Upper bound, Lower bound facile Lezione 5 dal libro di Babai & Frankl: Linear Algebra Methods in Combinatorics.

Slides:



Advertisements
Presentazioni simili
RICHIAMI ELEMENTARI DI ALGEBRA MATRICIALE
Advertisements

* Notazioni di algebra e di analisi matematica utilizzate
Modelli e Algoritmi della Logistica
Seminario su clustering dei dati – Parte II
Modelli e Algoritmi per la Logistica
Modelli e Algoritmi della Logistica
Linear Algebra Methods in Combinatorics with applications to Geometry and Computer Science Linear Algebra Methods in Combinatorics with applications to.
Main tools of the probabilistic method with applications in graph theory Attività formativa - Yuri Faenza Supervisore: Prof. B. Scoppola CdLS in Ingegneria.
Linear Algebra Methods in Combinatorics with applications to Geometry and Computer Science Lezione II dal libro di Babai & Frankl:
dal libro di Babai & Frankl:
Teorema di Euclide altezza proiezione proiezione
1 Un po’ di ripasso di algebra §necessaria per discutere la semantica denotazionale l e da riprendere quando parleremo di interpretazione astratta §reticoli.
Claudio Arbib Università dell’Aquila Ricerca Operativa Metodo del simplesso per problemi di distribuzione single-commodity.
Automi temporizzati.
Didattica e Fondamenti degli Algoritmi e della Calcolabilità Sesta giornata Risolvere efficientemente un problema in P: Il problema dell’ordinamento: Insertion.
Sistemi di equazioni lineari. Sistemi di primo grado di due equazioni a due incognite Risolvere un sistema significa trovare la coppia di valori x e y.
Prof. Cerulli – Dott. Carrabs
Le frazioni 1 Gianni Bianciardi (2009/2010). L'unità frazionaria Disegniamo un quadrato. intero Questo è un quadrato intero, quello che per noi sarà l'unità,
Teorema di Ramsey Lower bound cubico Disuguaglianza di Fisher Lezione 6 dal libro di Babai & Frankl: Linear Algebra Methods in Combinatorics with applications.
La seguente matrice è una matrice delle distanze di un’istanza del problema del Commesso Viaggiatore. Calcolare un lower bound per il valore del ciclo.
Complessità Circuitale Profondità Costante: Lower Bound Esponenziale (Algebra Lineare + Metodo Probabilistico) Lezione 8 dal libro di Stasys Jukna: Extremal.
Minimum Spanning Tree Moreno Marzolla
Prof.ssa Rossella Petreschi Lezione del 3/12/2013 del Corso di Algoritmica GRAFI e PLANARITA’ Lezione n°15.
Algoritmi Avanzati a.a.2014/2015 Prof.ssa Rossella Petreschi
Logica Lezz
SUMMERMATHCAMP TARVISIO, AGOSTO 2017
Le Frazioni.
= 2x – 3 x Definizione e caratteristiche
GEOMETRIA.
Lezione n°10 Prof.ssa Rossella Petreschi
Cammini minimi in grafi:
Branch and Bound Lezione n°19 Prof.ssa Rossella Petreschi
Branch and Bound Lezione n°14 Prof.ssa Rossella Petreschi
Algoritmi di diagonalizzazione
Progettazione di una base di dati relazionale
Lezione n°17 Prof.ssa Rossella Petreschi
Algoritmi e Strutture Dati
Il problema del cammino minimo
dal libro di Babai & Frankl:
Lezione n°14 Reti di flusso Prof.ssa Rossella Petreschi
Algoritmi Avanzati Prof.ssa Rossella Petreschi
Logica Lezione
LEZIONE DI MATEMATICA DI EMANUELE PAONE
Algoritmi e Strutture Dati
Usi (meno scontati) della visita DFS
Lock binario.
Logica Lezz
Paths, tree and flowers Lezione n°14
Presentazione a cura degli alunni di quinta della scuola di Borghetto
Circonferenza e cerchio
Lezione n°12 Prof.ssa Rossella Petreschi
ABBINAMENTO Lezione n°13
Algoritmi e Strutture Dati
Apprendimento visuale: Il Calcolo letterale
Branch and Bound Lezione n°18 Prof.ssa Rossella Petreschi
Algebra Booleana.
( di che denominatore sei? )
Schema generale, visita in ampiezza e profondità.
Algoritmi e Strutture Dati
Algoritmi e Strutture Dati
Usi (meno scontati) della visita DFS
Algoritmi e Strutture dati a.a.2010/2011 Prof.ssa Rossella Petreschi
Variazione percentuale di una grandezza
Teoria della computabilità
Algoritmi e Strutture Dati
Cammini minimi in grafi:
Modelli e Algoritmi della Logistica
Il problema del flusso nelle reti
Logica Lezioni 16-.
Logica lezioni
Transcript della presentazione:

Teorema di Ramsey Introduzione Teorema di Schur Upper bound, Lower bound facile Lezione 5 dal libro di Babai & Frankl: Linear Algebra Methods in Combinatorics with applications to Geometry and Computer Science

Riscaldamento Colora gli archi del grafo completo usando due colori in modo da evitare triangoli monocromatici. si nono impossibile Dimostrazione: non puoi colorare così

Teorema di Ramsey Comunque fissiamo un numero di colori c ed un intero t, se il grafo è sufficientemente grande è impossibile evitare “t-sottografi monocromatici”. Teorema: Per ogni c e t, esiste R c (t) tale che, per n ≥ R c (t), se coloriamo gli archi di K n con al più c colori, allora deve esistere una clique K t monocromatica ossia tutti i suoi archi sono colorati con lo stesso colore.

Teorema di Ramsey Per ogni c e t, esiste R c (t) tale che, per n ≥ R c (t), se coloriamo gli archi di K n con al più c colori, allora deve esistere una clique K t monocromatica ossia tutti i suoi archi sono colorati con lo stesso colore. Due colori: O c'è una cricca o c'è un insieme indipendente di t nodi si impossibile R 2 (3) = 6:

Comunque fissiamo un numero di colori c, se coloriamo gli interi {1,2,...,n} con c colori, ed n è abbastanza grande, allora esistono a, b, e a + b colorati con lo stesso colore. Teorema di Schur Nota: per a = b significa a e 2a hanno lo stesso colore

Comunque fissiamo un numero di colori c, se coloriamo gli interi {1,2,...,n} con c colori, ed n è abbastanza grande, allora esistono a, b, e a + b colorati con lo stesso colore. Teorema di Schur Dim: Ramsey Schur KnKn k-j colore(5-2)

Comunque fissiamo un numero di colori c, se coloriamo gli interi {1,2,...,n} con c colori, ed n è abbastanza grande, allora esistono a, b, e a + b colorati con lo stesso colore. Teorema di Schur Dim: Ramsey Schur KnKn ij k k-i = (j-i) + (k-j) j - i k - j k - i a a+b b colore(j-i) ij

Teorema di Ramsey Per ogni c e t, esiste R c (t) tale che, per n ≥ R c (t), se coloriamo gli archi di K n con al più c colori, allora deve esistere una clique K t monocromatica ossia tutti i suoi archi sono colorati con lo stesso colore. Due colori: O c'è una cricca o c'è un insieme indipendente di t nodi R 2 (t) = ? LB(t) ≤ R 2 (t) ≤ UB(t) Trova una colorazioneDimostra il teorema si impossibile R 2 (3) = 6 :

Teorema di Ramsey Per ogni t, esiste R 2 (t) tale che, per n ≥ R 2 (t), se coloriamo gli archi di K n con 2 colori, allora deve esistere una clique K t monocromatica ossia tutti i suoi archi sono colorati con lo stesso colore. LB(t) ≤ R 2 (t) ≤ UB(t) Trova una colorazioneDimostra il teorema 4t4t

Teorema di Ramsey R(s,t) ≤ R(s-1,t) + R(s,t-1) Al massimo n = 1 + R(s-1,t) – 1 + R(s,t-1) – 1 n 1 ≥ R(s-1,t) R(s,t) ≝ “non posso evitare K s blu oppure K t rossa” n1n1 n2n2 1 s-1s-1 n 2 ≥ R(s,t-1) t-1t-1

Teorema di Ramsey R(s,t) ≤ R(s-1,t) + R(s,t-1) R(s,t) ≝ “non posso evitare K s blu oppure K t rossa” sottoinsiemi di ksottoinsiemi di k senza “1”sottoinsiemi di k con “1” tende a 4 t R2(t) ≤ 4tR2(t) ≤ 4t R 2 (t) = R(t,t)

Teorema di Ramsey Per ogni t, esiste R 2 (t) tale che, per n ≥ R 2 (t), se coloriamo gli archi di K n con 2 colori, allora deve esistere una clique K t monocromatica ossia tutti i suoi archi sono colorati con lo stesso colore. LB(t) ≤ R 2 (t) ≤ 4 t Trova una colorazione (t-1) 2... t-1

Cosa ricordare Due teoremi “simili”: Ramsey e Schur Per ora abbiamo visto solo (t-1) 2 ≤ R 2 (t) ≤ 4 t Prossima puntata: ≤ R 2 (t) t 3 ≤ R 2 (t) probabilistico deterministico