Abbinamenti perfetti in una scacchiera?


14

Considera il problema di trovare il numero massimo di cavalieri che possono essere posizionati su una scacchiera senza che due di loro si attacchino l'un l'altro. La risposta è 32: non è troppo difficile trovare una corrispondenza perfetta (il grafico indotto dalle mosse del cavaliere è bipartito e c'è una corrispondenza perfetta per una tavola 4 × 4), che è ovviamente una copertura minima del bordo. Inoltre, non è difficile dimostrare che la risposta è mn2per unascacchieram×nogni volta chem,n3: è sufficiente mostrare gli abbinamenti per3m,n6e fare un po 'di lavoro di induzione.

D'altra parte, se la scacchiera fosse toroidale e m,n fossero pari, la prova non richiederebbe nemmeno di mostrare una corrispondenza per le piccole scacchiere : la mappa (x,y)(x+1,y+2) ha solo cicli di lunghezza pari, quindi deve esserci una corrispondenza perfetta.

Esiste un equivalente rettangolari scacchiere, cioè esiste un modo semplice per mostrare che per sufficientemente grande c'è sempre un accoppiamento perfetto della scacchiera? Per le tavole di grandi dimensioni, la tavola rettangolare e la tavola toroidale sono quasi equivalenti, nel senso che la frazione dei bordi mancanti va a zero, ma non sono a conoscenza di alcun risultato teorico che garantirebbe un perfetto abbinamento in quel caso.m,n

E se invece di saltare in entrambe le direzioni, un cavaliere saltasse ( 2 , 3 ) quadrati in entrambe le direzioni? O, del resto, ( p , q ) quadrati, con p + q dispari e p , q coprime? Se c'è è un modo semplice di provare che la risposta è m n(1,2)(2,3)(p,q)p+qp,qperm,nsufficientemente grande(diciamo,m,nC(p,q)), cheaspetto haC(p,q)?mn2m,nm,nC(p,q)C(p,q)


è una bella domanda
Suresh Venkat,

Suppongo che il tour di un cavaliere sia sufficiente. Tour Apparentemente chiusi esistono sempre quando e m n è pari. m,n>8mn
Timothy Sun,

Risposte:


9

La risposta NON è per tutte lemgrandi,nse ad esempiop=6eq=3. Perché? Si noti che a causa dei restimn2m,np=6q=3 ora il grafico è l'unione disgiunta (vertice) di tre grafici bipartiti e da ciascuno possiamo selezionare la metà più grande. Ad esempio, se m = n = 100 , in questo modo possiamo posizionare (almeno) 5002 cavalieri. (Questo perché x + ymod3m=n=100 ha sei classi che sono in tre coppie, le differenze tra le cardinalità delle coppie è 1 , 1 , 2 ).x+ymod61,1,2

Non so cosa succede se aggiungiamo la condizione che e q siano numeri primi relativi. (Nota che a parte il 2 divisore questo equivale a p + q e p - q essendo primi primi, in realtà questa è la condizione di cui abbiamo bisogno e che mostra anche che p + q è dispari è necessario.)pqp+qpqp+q


Oh, buon punto; Ho modificato la domanda per riflettere la tua osservazione.
ctgPi
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.