abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
eParkomat, startup z ČR, postoupil mezi finalisty evropského akcelerátoru ChallengeUp!
Robot na pivo mu otevřel dveře k opravdovému byznysu
Internet věcí: Propojený svět? Už se to blíží...
dnes 15:30 | Zajímavý projekt

Společnost Jolla oznámila v příspěvku Case study: Sailfish Watch na svém blogu, že naportovala Sailfish OS na chytré hodinky. Využila a inspirovala se otevřeným operačním systémem pro chytré hodinky AsteroidOS. Použita je knihovna libhybris. Ukázka ovládání hodinek na YouTube.

Ladislav Hagara | Komentářů: 2
dnes 14:15 | Nová verze

Byla vydána verze 7.1.0 skriptovacího jazyka PHP používaného zejména k vývoji dynamických webových stránek. Jedná se o první stabilní verzi nejnovější větvě 7.1. Přehled novinek v dokumentaci. Podrobnosti v ChangeLogu. K dispozici je také příručka pro přechod z PHP 7.0.x na PHP 7.1.x.

Ladislav Hagara | Komentářů: 0
dnes 12:55 | Nová verze

Google Chrome 55 byl prohlášen za stabilní. Nejnovější stabilní verze 55.0.2883.75 tohoto webového prohlížeče přináší řadu oprav a vylepšení (YouTube). Opraveno bylo také 36 bezpečnostních chyb. Mariusz Mlynski si například vydělal 22 500 dolarů za 3 nahlášené chyby (Universal XSS in Blink).

Ladislav Hagara | Komentářů: 1
dnes 11:55 | Pozvánky

Máte rádi svobodný software a hardware nebo se o nich chcete něco dozvědět? Přijďte na 135. sraz spolku OpenAlt, který se bude konat ve čtvrtek 8. prosince od 18:00 v Radegastovně Perón (Stroupežnického 20, Praha 5). Sraz bude tentokrát tématický. Bude retro! K vidění budou přístroje jako Psion 5mx nebo Palm Z22. Ze svobodného hardwaru pak Openmoko nebo čtečka WikiReader. Přijďte se i vy pochlubit svými legendami, nebo alespoň na pivo. Moderní hardware má vstup samozřejmě také povolen.

xkucf03 | Komentářů: 0
dnes 00:10 | Nová verze

Byla vydána verze 3.2 svobodného systému pro detekci a prevenci průniků a monitorování bezpečnosti počítačových sítí Suricata. Z novinek lze zmínit například podporu protokolů DNP3 a CIP/ENIP, vylepšenou podporu TLS a samozřejmě také aktualizovanou dokumentaci.

Ladislav Hagara | Komentářů: 0
včera 21:00 | Nová verze

Byla vydána beta verze Linux Mintu 18.1 s kódovým jménem Serena. Na blogu Linux Mintu jsou hned dvě oznámení. První o vydání Linux Mintu s prostředím MATE a druhé o vydání Linux Mintu s prostředím Cinnamon. Stejným způsobem jsou rozděleny také poznámky k vydání (MATE, Cinnamon) a přehled novinek s náhledy (MATE, Cinnamon). Linux Mint 18.1 bude podporován až do roku 2021.

Ladislav Hagara | Komentářů: 0
včera 16:42 | Nová verze

Byl vydán Devuan Jessie 1.0 Beta 2. Jedná se o druhou beta verzi forku Debianu bez systemd představeného v listopadu 2014 (zprávička). První beta verze byla vydána v dubnu letošního roku (zprávička). Jedna z posledních přednášek věnovaných Devuanu proběhla v listopadu na konferenci FSCONS 2016 (YouTube, pdf).

Ladislav Hagara | Komentářů: 0
včera 15:16 | Komunita

Na GOG.com začal zimní výprodej. Řada zlevněných her běží oficiálně také na Linuxu. Hru Neverwinter Nights Diamond lze dva dny získat zdarma. Hra dle stránek GOG.com na Linuxu neběží. Pomocí návodu ji lze ale rozběhnout také na Linuxu [Gaming On Linux].

Ladislav Hagara | Komentářů: 1
včera 13:14 | Bezpečnostní upozornění

Byla vydána verze 2.7.1 živé linuxové distribuce Tails (The Amnesic Incognito Live System), jež klade důraz na ochranu soukromí uživatelů a anonymitu. Řešeno je několik bezpečnostních problémů. Aktualizován byl především Tor Browser na verzi 6.0.7. Tor Browser je postaven na Firefoxu ESR (Extended Support Release) a právě ve Firefoxu byla nalezena a opravena vážná bezpečnostní chyba MFSA 2016-92 (CVE-2016-9079, Firefox SVG Animation

… více »
Ladislav Hagara | Komentářů: 0
30.11. 19:19 | Nová verze

Příspěvek na blogu nadace Raspberry Pi je věnován bezpečnostním vylepšením v nejnovější verzi Raspbianu s desktopovým prostředím PIXEL. V oficiálních obrazech je nově zakázán SSH přístup. Ten lze samozřejmě povolit po zavedení Raspbianu pomocí nástroje raspi-config. Nemá-li uživatel k Raspberry Pi připojený terminál, může SSH přístup povolit vytvořením souboru ssh v adresáři /boot. Raspbian nově upozorňuje uživatele na bezpečnostní riziko, je-li SSH přístup povolen a uživatel pi nemá změněno výchozí heslo.

Ladislav Hagara | Komentářů: 42
Kolik máte dat ve svém domovském adresáři na svém primárním osobním počítači?
 (32%)
 (24%)
 (29%)
 (7%)
 (5%)
 (3%)
Celkem 755 hlasů
 Komentářů: 50, poslední 29.11. 15:50
Rozcestník
Reklama

Dotaz: Generování rozvrhů / směn

Bystroushaak avatar 20.6.2013 13:45 Bystroushaak | skóre: 30 | blog: Bystroushaakův blog | Praha
Generování rozvrhů / směn
Přečteno: 1310×
Zdravím.

Potřeboval bych trochu nasměrovat jakým způsobem generovat rozvrhy / směny. Obecně problém zadání zní, že máme několik lidí, ti mají různé požadavky, někdo chodí rád do prace o víkendu, někdo odpoledne, někdo dopoledne a do toho jim napasovat každý týden určitý počet hodin podle zadaných pravidel. Druhá část problému je poté generování školního rozvrhu, máme učitele, žáky a teď je nějak rozumě rozhodit na předměty.

Hodila by se nějaká obecná teorie (klidně anglicky), případně jestli jsou nějaké knihovny pro python. Nebo by pro tohle byly vhodnější deklarativní jazyky, jako je třeba prolog? Je mi jasné, že na tohle existují programy, ale já bych se rád naučil jak na to.

PS: Nejedná se o školní zadání. Za uplynulý rok se na mě obrací už třetí člověk, jestli bych mu něco podobného nenaprogramoval. Zatím jsem vždy odmítl, protože mě napadají jen šíleně neefektivní řešení. Teď mě to trochu zaujalo, protože se jedná o jeden z těch spíše matematických problémů, na kterých jsem zatím vždy selhal.

Odpovědi

20.6.2013 15:31 DarkKnight | skóre: 24
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Bystroushaak avatar 20.6.2013 17:52 Bystroushaak | skóre: 30 | blog: Bystroushaakův blog | Praha
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Ten první odkaz nic moc, ale druhý vypadá docela zajímavě, zkusím se tím pročíst. Díky.
20.6.2013 15:59 hanny
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Ja bych zkusil nejaky Constraint solver, nejlepe asi Gecode (C++). Pro Python by asi slo pouzit or-tools od Googlu, ale s tim nemam zadne zkusenosti...
Bystroushaak avatar 20.6.2013 17:53 Bystroushaak | skóre: 30 | blog: Bystroushaakův blog | Praha
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Pro python jsem teď našel python-constraint. Constraint je nejspíš to slovo, které jsem hledal abych našel :) Díky.
20.6.2013 18:35 hanny
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Pro python jsem teď našel python-constraint. Constraint je nejspíš to slovo, které jsem hledal abych našel :) Díky.
Bacha tato knihovna (nebo spise modul?) je po prvnim zkouknuti velmi jednoducha a troufnu si rict ze s ni neuspejes...

Osobne bych nejdrive doporucoval:
  • aspon rychle projit tento dokument. Dozvis se tam jak Constraint prgramming funguje a hlavne zjistis jake ruzne omezujici podminky muzes pouzivat
  • zkusit si v Gecode vymodelovat nejaky tvuj problem. Gecode bych volil mimo jine proto, ze obsahuje asi nejvetsi mnozstvi omezujicich podminek ze kterych si muzes vybrat a taky ma GIST (vizualizace toho jak tvuj model hleda reseni)
  • ...a pak uvidis jestli to ma vubec cenu nebo je to na tvuj problem nepouzitelne:)
Goheeca avatar 25.6.2013 00:04 Goheeca | skóre: 7
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Rád bych zmínil existenci amb operátoru, který implementuje backtracking. Nejpřirozeněji vypadá ve Scheme.
Goheeca avatar 25.6.2013 00:09 Goheeca | skóre: 7
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Tedy když nepočítám deklarativní logické jazyky jako je Prolog.
20.6.2013 19:43 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Kromě Gecode můžete zkusit řešič MINION.

Mj. existují modelovací jazyky nezávislé na řešiči – např. MiniZinc (návod).

20.6.2013 19:48 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Dalším oblíbeným přístupem kromě CSP je převod na SAT a následné použití nějakého SAT řešiče.
22.6.2013 12:02 Bill Gates
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Ja si vzdycky u problemu, ktery z hlavy neumim naprogramovat sednu a zjistim si, jak bych to delal ja sam bez softwaru. Zkusim si to a presne tak jak bych to udelal ja, tak napisu software, ktery udela totez - stejny postup, stejna pravidla. Program pak zpravidla funguje uplne dokonale, obzvlaste kdyz to delam pro sebe a pouzivam to, a tak mi zalezi na tom, aby to delalo skutecne presne to co chci, aby to delalo a to bez chyb. Behem vyvoje softwaru pro reseni konkretniho problemu clovek obvykle jeste zjisti, ze ten postup je v podstate uplne jednoduchy coz mu vlastne pomuze i v realnem zivote, kdy pochopi vice souvislosti a ruznych zakonitosti a sve postupy z realneho zivota dokaze jeste vice zefektivnit diky tomu co zjistil, kdyz se ponoril do hloubky postupu reseni problemu pri vyvoji zminovaneho software.
22.6.2013 12:48 potato
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
To nefunguje. Především z důvodu velmi odlišné architektury mozku a počítače.

Například zjistit, zda jsou v obrázku útvary, které se opakují, dokáže člověk snadno. Zato nedokáže pořádně popsat, jak to vlastně dělá, protože rozeznávání vzorů je pro mozek low-level operace, kterou už nedokážeš snadno rozložit na efektivně naprogramovatelné operace.

Na druhé straně pro počítač není problém provést rozsáhlou Monte-Carlo simulaci, použít Fourierovu transformaci, jako přípravný krok si setřídit milion věcí podle velikosti, etc., v situacích, kdy se člověk vzmůže nanejvýš na hrubý odhad výsledku.

Ceny různých operací jsou natolik odlišné, že už u úplně základních problémů jako třídění vypadají nejvhodnější postupy pro člověka a počítač dost jinak.
22.6.2013 15:03 Bill Gates
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Jak kdy. Ve vyse uvedenem zadani nebylo nic o rozpoznavani smyslu nebo vyznamu obrazku. Zalezi na tom taky zdali do zadani davame rozume zpracovatelne argumenty, nebo pocitacem tezko zpracovatelne. Urcite jsem nemel na mysli tvorbu pocitacoveho algoritmu, ktery na zaklade vstupu urci, zdali zadana muzika predana programu jako argument v mp3 je dobra muzika, nebo spatna muzika. Mel jsem na mysli ponekud jednodussi zadani, treba jako zadani o vhodnem skladani smen, coz jsou presne casove ohranicene useky, ktere lze predem snadno definovat.
Bystroushaak avatar 22.6.2013 20:02 Bystroushaak | skóre: 30 | blog: Bystroushaakův blog | Praha
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Mel jsem na mysli ponekud jednodussi zadani, treba jako zadani o vhodnem skladani smen, coz jsou presne casove ohranicene useky, ktere lze predem snadno definovat.
A přesto se jedná o NP-obtížný problém :]
23.6.2013 16:28 Logik
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Mám za to že i NP-úplný, tj. nejtěžší z NP problémů.

Pokud nevíš, co to znamená, tak prakticky to, že to lze přesně vyřešit (zjednodušuji) pouze vyzkoušením všech možností. Nicméně existují heuristiky, které umožňují nalézt uspokojivé řešení v rozumném čase.

Dobře by Ti poradila tato přednáška: http://ktiml.mff.cuni.cz/~bartak/planovani/ popř. kniha, na kterou se odkazuje či materiály tam ke stažení.

Pokud budeš hledat materiály, zahrň klíčové slovo rozvrhování (scheduling)
23.6.2013 17:38 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Nicméně existují heuristiky, které umožňují nalézt uspokojivé řešení v rozumném čase.
NP-úplné problémy jsou rozhodovací problémy (slovo uspokojivé tedy nedává smysl).
Pokud nevíš, co to znamená, tak prakticky to, že to lze přesně vyřešit (zjednodušuji) pouze vyzkoušením všech možností.
To bych pak v praxi nevyřešil SAT o více než cca 60 proměnných.
23.6.2013 19:57 Ariczek | skóre: 4
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Rozhodovací problémy jsou jen jedna podmnožina NP problémů ;)
  • rozhodovací (existuje nějaké řešení?)
  • konstruktivní (sestrojte nějaké řešení.)
  • enumerační (sestrojte všechna řešení)

Ale pořád se tu bavíme o kombinatorických problémech, co optimalizační ? V kterých je kromě vstupů a konfigurace problému ještě také nějaká cenová funkce ? A tam právě ono slovo uspokojivě přichází na řadu ;)
23.6.2013 20:35 Radek Miček | skóre: 23 | blog: radekm_blog
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Rozhodovací problémy jsou jen jedna podmnožina NP problémů ;)
Nikoliv. Třída NP obsahuje pouze rozhodovací problémy. Třída problémů, kde jde o konstrukci řešení, se jmenuje FNP. Třída, kde jde o počítání řešení, se jmenuje #P.
Josef Kufner avatar 23.6.2013 20:38 Josef Kufner | skóre: 66
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Je to NPC problém a lze to řešit pomocí ILP. Na FELu se to učí v rámci předmětu Kombinatorická optimalizace (A4M35KO), přednáší to Zdeněk Hanzálek a možná, že mezi jeho publikacema něco najdeš.
Hello world ! Segmentation fault (core dumped)
24.6.2013 08:20 stoklasa
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
excel a Microsoft Solver je velice jednoducha cesta viz. Priklad
24.6.2013 18:32 JS
Rozbalit Rozbalit vše Re: Generování rozvrhů / směn
Nedavno jsem narazil na OptaPlanner, vypada to vic prakticky zamerene nez zminene Gecode. Ale zkusenost s tim nemam.

Založit nové vláknoNahoru

Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

ISSN 1214-1267   www.czech-server.cz
© 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.