hakank.bloggAnteckningar från en PopSci-junkie blandat med egna mundäna försök. Samt annat.Gruppteoretisk lsning av M12 puzzle i GAP - take 2- June 30, 2008 I gr skrev jag Gruppteoretisk lsning av M12 puzzle i GAP och publicerade ett GAP-program fr att lsa M12 puzzle (fr vriga lnkar, se grdagens skrift). Efter lite mer funderande har jag nu kommit p en mer elegant lsning dr man inte behver gra inverse (-1) p sjlva pusslet, och att man inte behver arbeta baklnges. Den frra lsningen var inte felaktig, endast bkig. Det som ndrades var helt enkelt hur man definierar merge-operatorn. Den r nu merge:=PermList(1,3,5,7,9,11,12,10,8,6,4,2); Hr r den..http://www.hakank.org/webblogg/archives/001227.html Gruppteoretisk lsning av M12 puzzle i GAP- June 29, 2008 I Tre matematiska logiska pyssel med constraint programming-lsningar: n-puzzle, SETS, M12 (i MiniZinc) presenterades det gruppteoretiska pysslet M12, d med en lsning i MiniZinc (modellen M12.mzn). Nr jag lste om M12 tnkte jag att det skulle vara skoj med ven en gruppteoretisk lsning eftersom det r ett gruppteoretiskt problem. En sdan lsning har nu gjorts med hjlp av det abstrakta algebraiska systemet GAP. Numera finns GAP ven med i distributionen av det ppna matematiska (och mycket trevliga)..http://www.hakank.org/webblogg/archives/001226.html MiniZinc-nyheter- June 24, 2008 Hr r ngra nyheter om constraint programming-systemet MiniZinc. Det har kommit en ny version av MiniZinc: version 0.8.1, som i princip endast r buggfix jmfrt med version 0.8. ECLiPSe stdjer nu version 0.8-formatet. Ladda ner den senaste utvecklingsversionen hr. I skrivande stund r det version 5.10_135 som gller. Eftersom ECLiPSe ny stdjer version 0.8-formatet, har jag som utlovats ndrat alla mina modeller till detta format. Se My MiniZinc Page. Ett ftal modeller krnglade och finns drfr...http://www.hakank.org/webblogg/archives/001225.html Tre matematiska logiska pyssel med constraint programming-lsningar: n-puzzle, SETS, M12 (i MiniZinc)- June 24, 2008 Hr r ngra matematiska logiska pyssel med lsningar i MiniZinc. n-puzzle (8-puzzle, 15-puzzle) n-puzzle (8-puzzle, 15-puzzle) r ett synnerligen standardpyssel som ofta anvnds fr att testa algoritmer och liknande inom AI eller fr att trna hjrnan. Det gr ut p att flytta en blank bricka runt i en matris s att siffrorna terstlls till en given ordning (oftast 1..15 eller 1..8) och den blanka ska vara i den nedersta hgra rutan . Min lsning p detta problem finns i n_puzzle.mzn och fr vl anses vara...http://www.hakank.org/webblogg/archives/001224.html "Ett handstickat nt" - Jorun Boklvs B-uppsats om svenska stickbloggare- June 11, 2008 Jorun Boklv (Life de Luxe) har skrivit en B-uppsats i Medie- och kommunikationsvetenskap, Ume Universitet, dr hon speciellt studerat fyra svenska stickbloggare fr att utrna hur kommunikationen p dessa frs. Uppsatsen heter Ett handstickat nt - Verktyg och strategier fr att skapa ntgemenskap, och hur de anvnds av fyra svenska stickbloggare (PDF). Begreppet stickbloggare frklaras p sid 5 (noten) som bloggar som helt eller delvis handlar om stickning.. Sammanfattningen r som fljer Bloggar...http://www.hakank.org/webblogg/archives/001223.html Sydsvenskan: Dagens hlsoprognos (med avseende p vdret)- June 9, 2008 P sin vdersida har Sydsvenskan en intressant lnk "Dagens hlsoprognos" (krver Flash). Programmet som poppar upp visar hur olika psykiskafysiska tillstnd pverkas av hur vdret r just nu eller hur det harkommer att frndras. Fljande "hlsovder" rapporteras: - Frkylning - Huvudvrk - Migrn - Nedstmdhet - Ledbesvr - Smnlshet T.ex. s kan man se att i sdra Sverige finns det just nu fljande vderrelaterade risker: - liten risk fr frkylning - hg risk fr huvudvrk - hg risk fr migrn - ingen risk fr.http://www.hakank.org/webblogg/archives/001222.html Blogglunch sndagen den 156 kl 13.00 samt Markovgenererade bloggtrffsammanstllningar- June 6, 2008 Zyrenna-sa manar till Blogglunch sndagen den 156 kl 13.00, naturligtvis p restaurangen Kin Long. Meddelena sa om du tnker komma. Med anledning av en semantisk frrvirrning angende tidens riktning i en frsta version av kallelesen skriver hon i kommentarsfldet: Ngon borde testa att skriva refererat fr framtiden. Skriva referatet i frvg och sedan jmfra med utfallet. Sammanstllningar om redan hnda bloggtrffar har gjorts. Men att skapa sammanfattningarna innan Detta kndes som en...http://www.hakank.org/webblogg/archives/001221.html Mats Anderssons tvling kring fotbolls-EM 2008 - ett MiniZinc-genererat tips- June 5, 2008 Mats Andersson har tidigare haft flera roliga tvlingar. Infr fotbolls-VM 2006 var det en tvling dr man skulle gissa resultat i matcherna. Eftersom mitt kunnande om fotboll var synnerligen begrnsat valde jag en enkel metod genom att skapa ett beslutstrd fr hur resultaten skulle bli. Och kom naturligtvis sist. Infr fotbolls-EM (som allts startar p lrdag) har Mats en ny tvling, och den vill man ju inte missa. Constraint programming-modell i MiniZinc Eftersom kunnandet kring fotboll fortfarande..http://www.hakank.org/webblogg/archives/001220.html Nya MiniZinc-modeller, flera global constraints, dribland clique- June 2, 2008 Sedan anteckningen Ngra fler MiniZinc-modeller, t.ex. Smullyans Knights and Knaves-problem i frra veckan har ngra fler modeller skapats. Samtliga modeller finns att ladda ner frn My MiniZinc page. Denna gng r det frvisso ngra pyssel men fokus har varit att implementera global constraints frn den fantastiska samligen Global Constraints Catalogue. Pyssel Samtliga desa pyssel r frn de kommenterade exemplen i det frsta kapitlet frn boken Problem Solving Through Recreational Mathematics av Bonnie..http://www.hakank.org/webblogg/archives/001219.html MiniZincFlatZinc version 0.8 slppt- June 2, 2008 Hromdagen slpptes en ny version av MiniZinc (se ven My MiniZinc page), det constraint programming-system som jag hller p med just nu. Den nya versionen finns hr. Frndringar I NEWS beskrivs alla de frndringar som gjorts sedan version 0.71. Notera att detta endast gller MiniZincFlatZinc. ndringarna r nnu (2008-06-02) inte infrda fr de andra solvers, dvs Gecode fz respektive ECLiPSe's ic, fd eller eplex. Jag vntar med spnning p detta. De praktiskt viktigaste ndringarna r: ny deklaration av..http://www.hakank.org/webblogg/archives/001218.html |