Firma Anthropic, tvůrce AI modelu Claude, začala v oblasti Sanfranciského zálivu v tichosti provozovat vlastní biotechnologickou laboratoř. Anthropic prý chce pomocí AI urychlit hledání léků na nemoci, jimž farmaceutický průmysl dle názoru firmy věnuje příliš málo pozornosti. Firma tvrdí, že laboratoř se zatím soustředí především na základní biologii, nikoli přímo na vývoj léčiv. Farmaceutický výzkum je pro generálního ředitele Daria Amodeie velice osobní téma, jeho otec zemřel na hepatitidu C několik málo let před objevením účinné léčby.
Vědci z Googlu dokončili mapu všech neuronových spojení v mozku (tzv. konektom) samečka mušky octomilky obecné (drosophila melanogaster), hlavním cílem je komparativní analýza s již zmapovaným mozkem samičky. S tímto veřejně dostupným modelem, čítajícím přibližně 160 000 neuronů, se začali bavit nadšenci. Mozek mouchy pohání experimentálního kryptoburzovního bota Stonkfly, případně si zahrál počítačové hry Beat Saber, Mario64 a samozřejmě DOOM (gameplay videa). Ani mozek samičky nezůstal stranou, vyzkoušel si Minecraft.
Alibaba Cloud je dalším sponzorem nadace Omacom Foundation stojící za linuxovou distribucí Omarchy. Přislíbená částka je 3 miliony dolarů, tj. 1 milion dolarů ročně po dobu tří let. Stejná částka jako u DigitalOcean.
Byla vydána nová verze 262 správce systému a služeb systemd (Wikipedie, GitHub).
Canonical oznámil vydání Zephyr 26.04 LTS. Jedná se o komerční distribuci operačního systému pro mikrokontroléry Zephyr (Wikipedie) s podporou až 15 let.
Gravity Linux je linuxová distribuce určená pro Apple Silicon s čipy M4 a novějšími. Vydána byla alfa verze pro M4 Mac mini. Gravity Linux je fork Asahi Linuxu.
Hister je osobní soukromý vyhledávač, který lze provozovat na vlastním stroji. Umí prohledávat lokální soubory, importovat historii a záložky z webových prohlížečů, procházet vybrané weby a pomocí rozšíření pro Firefox a Chrome indexovat obsah právě navštívených stránek. Nad vytvořeným indexem pak nabízí vyhledávání prostřednictvím webového rozhraní, příkazové řádky a díky podpoře MCP i nástrojům umělé inteligence. Tento
… více »Ministerstvo dopravy uznalo prozatímní schválení asistenčního systému Tesla FSD Supervised vydané nizozemským schvalovacím orgánem RDW. Připojilo se tak k Nizozemsku a dalším pěti evropským státům. Systém je díky tomuto rozhodnutí možné používat za podmínek prozatímního schválení také na území České republiky. Tesla FSD Supervised je asistenčním systémem úrovně 2 podle klasifikace SAE (částečná automatizace řízení). Řidič se
… více »Někteří zákazníci O2 mohou aktuálně zaznamenat zhoršenou dostupnost internetových služeb. Na odstranění potíží se pracuje [Facebook].
PyPy (Wikipedie), tj. implementace Pythonu v RPythonu, alternativa CPythonu v C, byla vydána v nové major verzi 8.0.0. Podporuje Python 2.7, 3.11 a 3.12.
Ty asi nebudeš Pražák, co?! 
Mimochodom, vlastnosť visited musíš mať implementovanú aj v pôvodnej verzii algoritmu.
Nemusím. Ne-mu-sím!
Standartně jsou všechny vrcholy zařazeny do fronty při inicializaci algoritmu a jejich náležení/nenáležení frontě již samo o sobě udává, zda-li byl vrchol již "objeven" či nikoliv.
.
Tohle jsou samozřejmě další dobře známé vlastnosti Dijkstrova algoritmu (dokonce i ta možnost využití Fibonacciho haldy se udává snad v každém popisu algoritmu), některé vlastnosti jsem dokonce zmínil v textu, ale oč tu běží je čistě implementační záležitost a vlastnosti "přiohnutého" algoritmu.
?
Mohl bys tedy ukázat pseudokód (rozuměj popis algoritmu), který by bez této "funkce" fungoval?
Uááá. Agoritmus, který tuto funkci nepotřebuje je právě ten ukázkový kód. O něm to celý je!
A pokud ne, jak je možné, že se o tom "moc neví"?
To že se o nutnosti této funkce použité fronty "moc neví" je myšleno tak, že si to člověk naplno uvědomí, až když musí algoritmus implementovat, protože takovou frontu obyčejně nemá k dispozici. Rozhodně to ale neni nějaký zajímavý a málo probádaný teoretický aspekt Dijkstrova algoritmu jako takového.
. Já to nedočetl, protože nechápu, proč bych měl algoritmus zpomalit kvůli tomu, že knihovna neobsahuje triviální funkci nad binární haldou. Klíčové slovo je to _nechápu_
. Tak se nezlob...
Ale tohle nám asi neříkali ani na matfyzuPredmet slozitost, fibbonaciho haldy i jejich aplikace v Dijstrove algoritmu se probiraly... ;).
...
Co mě na matfyzu vždycky pobaví je předmět, který probere látku vcelku povrchně, ale nakousne toho co nejvíc. Za pár semestrů ho totiž v rámci takřka stejného sylabu rozšíří další. Viz třeba ADS - Složitost.
Jinak co se algoritmů týče, tak si člověk (nejen) na matfyzu vystačí s Introduction to algorithms z MIT. Jen je třeba dávat pozor v předmětech, kde se pracuje s B-stromy - zavádějí je tam trochu jinak (ve výsledku je to samozřejmě stejné) a algoritmy operací jsou taky trochu jiné (ve srovnání s evergreenem od prof. Pokorného či zmíněných ADS).
B____C \ / \/ A | | Ddélky hrany tyto d(A,D)=3, d(A,C)=4, d(A,B)=1, d(B,C)=1 začneme v A, do fronty přijde B(1), D(3), C(4); v dalším kroku teda zkoumám B, C dám nový odhad 2 takže fronta "nevisited" vrcholů je D(3), C(2) což by asi být nemělo, ne? (kdyby z D vycházela nějaká hrana a na ní byl nalepenej nějakej graf H, přidali bychom ještě hranu CD s ohodnocením třeba 0.5, tak se správně nenajde nejkratší cesta do H přes AB, BC, CD, ..)
Možná to neni z popisu zcela zřejmý, ale použitá fronta je samozřejmě stále prioritní. Situace, že by v ní byla posloupnost D(3), C(2) tak nemůže nastat.
Prošel jsem si tebou uváděnej příklad, a nevidim v tom problém, na danym grafu algoritmus funguje korektně.
Možná to neni z popisu zcela zřejmý, ale použitá fronta je samozřejmě stále prioritní. Situace, že by v ní byla posloupnost D(3), C(2) tak nemůže nastat.Tak to jsem teda nepochopil. Píšeš, že "Prioritní fronta ze standartní šablonové knihovny STL totiž touto vlastností neoplývá...", kde "touto vlastností" sem pochopil jako změna priority. Tedy jsem se domníval, že fronta 3, 4, 5 se nepřeuspořádá, pokud změním prioritu u druhého prvku na 2, tedy bude v podobě 3, 2, 5. Takhle to teda není? Pokud ne, tak jsem nějak nepochopil celý blogpost. Jinak na tom "nakresleném grafu" by to neselhalo, domnívám se, že by to selhalo až na grafu, kde z D vede nějaká hrana a přidáme ještě hranu CD váhy 0.5 (což jsem naznačil v minulém příspěvku v závorce).
Tak to jsem teda nepochopil. Píšeš, že "Prioritní fronta ze standartní šablonové knihovny STL totiž touto vlastností neoplývá...", kde "touto vlastností" sem pochopil jako změna priority. Tedy jsem se domníval, že fronta 3, 4, 5 se nepřeuspořádá, pokud změním prioritu u druhého prvku na 2, tedy bude v podobě 3, 2, 5. Takhle to teda není? Pokud ne, tak jsem nějak nepochopil celý blogpost.
Změnu priority fronta z STL neumožňuje, proto se taky místo změny priority přidává uzel do fronty znovu, čímž se samozřejmě zařadí na správné místo. Vrchol tedy může být ve frontě několikrát, přičemž jen jeho první výskyt je "platný".
Jinak na tom "nakresleném grafu" by to neselhalo, domnívám se, že by to selhalo až na grafu, kde z D vede nějaká hrana a přidáme ještě hranu CD váhy 0.5 (což jsem naznačil v minulém příspěvku v závorce).
Uvažoval jsem samozřejmě ten rozšířený graf (s hranou CD)
Takže sorry, podcenil jsem tě
A Kefalín, čo Vy si predstavujete pod takým "důkaz správnosti algoritmu"?! 
Obávám se, že ten už si budeš muset udělat sám. Nejsem matfyzák, takže se do podobných "experimentů" pouštím jen v případech krajní nouze, což zrovna tenhle není...
Slíbil jsem, že zde vyslovím můj názor na složitost takto modifikovaného algoritmu, která je IMHO (a už to tady zaznělo stále O(|H|log|U|).
Jediné co se mění je počet prvků(uzlů) v prioritní frontě, který oproti "originálnímu" algoritmu může být až |U|^2. Nicméně proto, že log(|U|^2) = 2log|U| = O(log|U|), zůstává asymptotická časová složitost algoritmu O(|H|log|U|). Skutečná složitost nicméně samozřejmě naroste, ale na "běžných" grafech IMHO nijak výrazně.
Nějaké námitky?
Tak si odpovím sám. Zas tak růžový to asi přece jenom nebude... "Hlavní" cyklus se může provést až |H|*|U|, zařazení do fronty pak má složitost log(|H|*|U|). Celková asymptotická složitost řešení tedy spíše bude O(|H|*|U| + log(|H|*|U|)) = O(|H|*|U|), tedy horší, než u "originálu".
Tiskni
Sdílej: