Grazie Brozzetti e Tarulli
, però credo che dobbiate registrarlo voi a nome congiunto, di tutti.
Comunque, al di là delle battute precedenti, è evidente che la costruzione di questo tipo di sistemi crea una forte ridondanza.
Dopo averli completati, io mi limito solo ad eliminare, man mano, le tante colonne a copertura zero.
Voglio specificare che io non ho niente in contrario con i software (sono un programmatore junior io stesso), anzi ben vengano.
Continuo a pensare, però, che non trovo corretto attribuire la paternità dei ridotti a chi ha ottimizzato, tramite software, un file colonnare altrui, senza che se ne conosca minimamente lo sviluppo.
Vi sono,infatti, esempi eclatanti (per non dire vergognosi), in cui sono stati scippati dei primati, a grandi sistemisti, da chi non conosce neanche la differenza tra combinazioni e disposizioni, ed è avvenuto solo perché si è utilizzato un software di ottimizzazione colonnare, magari anche creato da altri (se non altro, Krypta ha delle forti conoscenze in ambito combinatorio, altrimenti non sarebbe mai stato in grado di sviluppare un software eccezionale come il verificatore).
Mi dite, allora, che senso ha creare una sorta di "albo" della sistemistica?
Ciao,
Carmine