commit d4a2b095edb4a5f9bbcaae9af647fd4467af702a parent da2f6aed20bbdd9b9a1b0c5e3e0933f035382327 Author: Jack Sangdahl <jack@pngu.org> Date: Wed, 3 Dec 2025 09:14:47 +0100 Day 3 2025 Diffstat:
| A | 3_2025.py | | | 32 | ++++++++++++++++++++++++++++++++ |
| A | data/3_2025.txt | | | 200 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
2 files changed, 232 insertions(+), 0 deletions(-)
diff --git a/3_2025.py b/3_2025.py @@ -0,0 +1,32 @@ +def fun(line, i, used): + if i == len(line) and used == 12: + return 0 + if i == len(line): + return -(10**20) + key = (i, used) + if key in dp: + return dp[key] + res = fun(line, i + 1, used) + if used < 12: + res = max(res, 10 ** (11 - used) * int(line[i]) + fun(line, i + 1, used + 1)) + dp[key] = res + return res + + +input = "data/3_2025.txt" +data = open(input).read().strip() +lines = data.splitlines() + +p1, p2 = 0, 0 +for line in lines: + dp, best = {}, None + p2 += fun(line, 0, 0) + for i in range(len(line)): + for j in range(i + 1, len(line)): + score = int(line[i] + line[j]) + if best is None or score > best: + best = score + p1 += best + +print(p1) +print(p2) diff --git a/data/3_2025.txt b/data/3_2025.txt @@ -0,0 +1,200 @@ +3722443164324852429541739322454443622742537425744313396455466849784737627295682866595242427454396354 +2322233122227224822212323658212222255122122243112292222221242252322222312243522322124211222122322225 +2227421315232111322232442224324213333241424543127312222424122225313211313112544326222361231231222412 +3226412441434337322442433422276272673634442322442343283323342336354325152334354362342754442333223257 +4342342212233213232214442314223522242322224222212233321323322323224223434323222312223321322161242334 +2332332233323622233125253242353821342623357315345834673323523231625332222353325533522364432144525625 +4673453334555263666364686373765225363564272753667556456556666235247337546766213573655254654536564645 +2323433333327342442473232342323333233422422244331512433333332322333133222231133322334333331352233726 +2223454223421444461233343133122242213332223112241232223312282252259421213222413224212222422236323232 +2222123223322232211312222242222222223322232223333223321222223211112231222323153223222222232222423221 +5664923532543445337554335412444567453442334535543265323533544444454343663635346553453364343245535343 +6122954776343251622966663862214244977439234545424616426112247562222323526347674741131222265345663372 +1634522222322353122232222313122222922223223332233212222422223232223232111222332321321322132332313242 +7155967545683696439364343246785799673556962693876976686777494356254878874766857748577863849397445747 +1624122713236575255223724215627532222321432443126727222237724426626442224672663474243812544223686426 +5545544377743573244426564373365554454745413454386355244724142562536938655862654413625643482327343242 +5477534565874336433444961353666447726886349523459223516825357741483231796125375333526618733335479778 +5558355744254382444454312552832533231362452324435354157173154353523433355532724555365425455322131224 +2422331422322322232232222322422222223222231332422222342123322151212432222333222232222222222232322252 +3313323333333333343322232232312313313432433331343254212313332433223334233323233431132342333333353433 +9173257243338341463435423364413223461312834535842223332864443333134548433132913142444544124323443331 +2322944562222517136124312314275743361272322236338422213232334242233812134413226212222221212112132313 +1323232212522334443352622624222231631122222224424322228122322422822333432332242223342323423433421721 +4442752424312345444243542526343242441233522443445444464446415342414245365444444435443653343423435317 +3432334624444334444433744444444343244353433444544353444345434443444234353444644234444334443442433335 +4234955566515552277367568625564147324663254357654465511161862566462275526594632962456556666624634659 +9333343333338332253343332562333364233234283132332433343413542231343343337333333323337922255333543335 +2264454545244563348422539313648536744699432284444375744834438556928953494435484744844833436424453639 +3441423142235313351432133235333354223341341212244232522654135313252323444222322432224212332325535321 +3352344464355444464544241544464446545444543335552642444323434455354464447532423344664557557644454555 +6323982832529273228276183232227372433348874323222352633758153223422222329767232322326338838135737535 +5533244444344687555555344635565443453457744564235864545255465443454454455256663564544546653744434544 +6446822374453338325467555432695345853475851345743242444572446683355325183754243454554263745554784766 +8259242332275254223392254528334552265953525468373643823223347722237554542381284333143436824127443222 +2122221122223113211212222222122222112223423222222122222221222222223125222222322132222123222222232322 +2233435242442312235324135421533343433327344232234332524225453122333423444444433553822735424538244244 +7433337335424446652221656366852932582564773144513252331235334353463333143237322846655332234437338338 +2123223343251132332342123323323113133332332333333133322243142313322333342233333532222433333333322222 +3221222222212422212222322232221213121222212212122224242112113212251212212212222232222225222272231222 +3322142541224423222342332355232312216224913241212372132322324222221563227222245262358423322352322263 +5633555513335385152837323414255251553253345932433624465153544735455855523245543343444392665235633543 +2223583442311422233325262253242122338225322323331312435261212224225644253532212122224235142412242334 +5624424446633453536343634556443324255445563654545623444224462235356246334153555721554444253147225432 +5221412222222621232222132222343232328322162122222252111222242232221252222432216711528522219422212415 +3224343413227322232132325422312332111373145133343252522233222433233333133333422223323272243352374333 +3112412322533442248223322532253534422532257222227526143222322323352534447464215342234333821522622636 +2264423224221262152122922422122515232217232122132154222221224195722232122221212142226112422222132222 +3223232223232312729124222222213232123232323333323214729834422932232223233223241321212232822412323123 +5553542194352425135266354465536464714524457244664565559454522362625453524424438556454533324512454354 +2221221222423222132352232222122222212215221234125141411224222251212223322222222223322223422243233222 +3142414253688333114225111538526567214757745671111415141882383756787634774418444225211351682573313619 +1128121222422213222221221221122255422221267222821122232222231221145223223222222212222238222229412521 +1424333444333445444432434251733335334324343333427475444424434623632443444342334438373842624423432333 +2333333233232333323236123333142223222136231233223332243412233212323313512233222233311623223323332222 +2482214119222322621651375824512723252184222247422242256221292223322227276228222282126627212678215722 +7254274434635726633755244542553743347323346473454631465624535746624122522275132755715623312821218547 +2121222224221212223232232322221222122222222222222222122131222212232132222223123122323322323321422212 +3253356533345434633343334153335635614346236332333476424453336635433333632332135364223534433356355433 +5754554455665555554345555556645755555535564875462754555555655455563454555575557454455654555346526447 +3133322345433332324213313233333236341322342312333435425323544323633224323334435353322232233534333533 +3123422213222252627122242222221322222232222263234332224231223222222411562212423244324424222312412234 +6214231254343324626234213132234523344362223312222221333224554233913233631336225622242222226432233232 +1224283222321112212222122162121226121221222525222522122222321322221638113222225222222121212225229272 +1211321222222222212222322221311121222223212312222121223213222222132222222322223221212232222132212222 +4653244536724334726122443248425268464243243446256343255142143842744434433855463534442463322323424843 +3433448323134364133545333334333334254634333483333444334433252242334334331344354433433413323245336323 +3641333412233373333322131446444244563532624243613333233466234243373333433413342232634234224173612123 +5688933251242223323334233334222528423215241221226223639258123233234332253271643322312223529313492694 +5335216335241264438223263645333335234144633263323534454623225335353532662553262435223624356533313365 +3422112361534116254325253323364212222335633222523128245233322435131423253533272223323411222525322152 +7362273246952365333343373633373653933564216321422333383333826396743334954473263472332235454633345449 +2822814426896944946132243232966494667547672423681828537395829284639344475472347724874574967776653366 +3332443333324333231221313233363433333233214213223323422333733342222353245334371134364343337453342133 +3133333323333334333223422343333332333334333222343341332413332333322253423223233335333443333233333423 +3572242411223922212252322222142222222142222322226222221222225223323432222121221322222221222222312212 +3223222222121121223211125222212211222322212211512212222222522242121323622222212223412322122222122323 +5353745364555244474257483554264335674535151124455832257144264763554154538134445424353232525418462544 +2223411222222122126222332543224212222212212521123232242322632227323212312122221222173334221228311221 +2222222224422122252251224625222242215244112222122424222224222121152222522321223143222447211423132162 +5311333223554374335332433533332342344434343432343345344436864433334233333334432533242323333433323344 +3353217333322321333423323633352834352333233223371444532436323243426232323313317343342333333323135324 +5332334334423113321342225231533335355133253432436434343532233355351653232253243223323255344555434534 +2222221233633423233334721363433322242343334343313323432333341312243313132131228243439334639133632333 +2135735522333324313693453333464323424412214473234633955344332344323244434342343342534243384435324533 +7563746645454552663665543883445645256551374548573465455335533362645556354415544786554854574447364524 +6574634675567647625765763473665486656554662366463356436768723725455665675555376754553446357666226725 +1444544265257646264445638369564426822666626234227923686852339566852984483612594686934543755544544572 +2322355253453623564525454345533432512332337312543643452322433623542555524252543532444434553564554364 +4625233453222222236244553323244262333552233233243222634162322222322221136224339532422284722343223334 +3342246344444324344433433343344365513233643435553331423332233334464663343335232565643462333424454332 +1233224222635241122222222522443222226186522323317422344151142219222322225441322262232546422242222422 +2485162524553231524152212243255434222221325224322152213335221352224512352344222233322352655361222433 +5634335554363534524443545375551454555554474433434355454442554214149835426255553444564545535334353342 +4734446344855955448644463446885736654334743447794724633344447467744748433584894443443424494574373844 +3412152334262641431456633423141513113153114616146454126152463343153432521131455333245634633322615789 +1323242626262224623323132423433422622353323153344224635347224333451222832633141363252443533326643644 +2211321323213224222422222422122122522225234422214221212212221124212222211222212224911212222222321234 +1222223311222242236222231232622312322532322163212221222223222211423234123242322651432222243362623321 +2242323233122232122332322222231131232222222223231222332632234332242121213222212232322122241234223421 +3274222523222225312211222432122212242422321243182222612222251263222123242262632222222452122232122322 +8478859965794853598756548649665475477976716547667459976578795363599634857987457678745654686789749746 +5542552324423432454364443554335533343544394344545584435453325342374432525335484245335343254544454543 +5855147543575447633545656553643442388355753873564144559886434574563853377734357555579587759555532443 +3931272382251342621432293232424262233212625335222181125326214142225152224425256224436622222214212353 +4328343424542334434554444453421433436433324762446356223434344252422334334442215332646544242454223433 +5222412222223221423243312212322282322232122224222231221133219132122223533221143245225122215422342233 +5353332333324343323333333933433333332233423233233322343337341363235333443332223233433233373432733453 +4326225421254424442434313612554432242223441234622213226258562641332463573642414423243652724366444374 +7146732165541535143431247153777172347514513314215365276774734372122655315721177532766674411523333289 +4263522846532326323412356214349578437378421633624271636323223427744253423532344223225322822224562325 +6443945651242324283526437485345444541364754434485533422546775342267754382373334743334557541335333364 +1332421142225232232122332222212222223222221222422121222421236212132432222222332222332224221213322212 +3233622417852323322416354234242544424554364252436524213242445153246464543466431245353162324244752657 +3423453534333444563564544345452242146355615525537652445525345557136414423254525354253514454636563554 +6956445424546525552336643652255663566529643648754535455656584566344353246556665532464264356438555465 +3353242223124442334222244382433225213522221215332242334255221233622213222322114211326532234322222612 +4754327743728783558243577262456447446576454585532353642565356742764864533774647676955355755555453565 +6536233337334323826428342314423247262246451223234311225231624363431821642312143242473536444424363832 +5363565753737695474455274246625685737526654276845575834653363965766235656699695552653523247684528467 +3452531334443535338533334332344431244335232423224443224223423442124355334614544544654514252354334543 +2252352384323231454362246637315242478572438325645434424435246372324323242833248423336324432249525312 +7877564455575544568228785653744363847535472364438667756567347434444478746548444654577627587434785774 +2223426334444435742275634443273234334845235273623557435244124434743324846121141354243243733532332335 +4333333352531422341333136232232222432223552333363433333344233434333433432443323444213323244232224723 +6118323732442213333322329334343214233332313321233232424232233633243431142133332233334436342373333332 +2232323214222264222125222114142222422222153136252621221514222223554452335212153125622232551222132222 +4332342322421242322443454423233342433243223124432424322452331254512524522432332242144421322411424552 +4333345338331334333334334333332333332533314533335314321334323224339332834422133735334333336793235333 +7837657477667676259657757238848755618736862686356666763744676355556656476253667335353457655556274563 +4343224222163223423332313314433334243222223422422212331433222312422244422433323236422322224344234142 +4423432325286362454443223123443534362412233342423343224535241453235234353233432343322233133262744424 +2443585753637734547687845688682344792393554396768883575673888489868385833357746576364758338893722888 +3294574543435577544424584512584344435855464465543254444443234445352365534544475357413453695444455488 +5655664534163624553456556424443266354625454255555247645153544244466444546349253282483556634644346365 +5655558545855549445555443555535555555535554553454655667663348545744575456456555745645555545449585645 +1232222223112233232232321222222321242431241324222612222222232222232213222222222223122231222311225223 +3222212222222122222222132231221223212222221122222322122232221231223222222222212222271321232122222222 +2222222222222221222221231243223232421222133328212327342221271222221222212322212221322212222222222331 +2222215232221242224142225321142121222221121224242212222222422213222224223425228111261125242231232242 +4343342334434233333332732373322543433233213233222333233342424323333333124433233323233333432443343332 +5254654655116666525566546685656665555354642546741765672576755575344266446775561575726657562357646435 +2433732432532224321262323232243277581823238223381336463222362242324526233223823333125363331222311222 +2232111333233222423323322232319243233423334133223237222323333242333322322132242422262331234323233223 +5556333352342533634363536542333324343398534535336343636466465638332245544844343446465624344433343533 +9244333234477491236434336344316225257735174133225333369546937332339343336551343333332332385724243394 +1322212121262223433214222222232211212322232222613233123232222222224125222322232212493271113221121411 +2121223122622622119222222222328322222222122222232132223552242312221222222342324212312522212222152223 +4534625265353348524565343215233334444563465552355325326316553934245825553567237723244335652415354433 +6477557576466444776775657565385784758662476757585837756797674576267567558566767534385965582457244585 +5656236242223312223244553321132122112226122252112452544217524334216624255453622525545332232222224241 +2232234212322322217153613112331226231463312212233326222233123221345233212223222242231333233113133342 +8599985587872487888389969167576964949642489973275268336387492629588948923452323783793652836749565638 +3323214213225586222624222241534322141274212237631127322312232554231262223282254232462222222212122255 +1123221321232222321242221222212212232322222242122122222222122222222232222222123222221322223222221222 +4663223223835224325455533621335223134323123413321562642444325223226213221425272354234272232342312382 +2334512332231222433333425223333222343325321233233241423313322231333333333323424226323234333332323433 +2236244353214452322524212444214244543332333322236222113232422446324442334435425533241433263142235342 +7336333588856122474675553545563332742441537234328756346372887223162463577766338133377484653216559625 +6224213236232225222212248122122224231122326373237331923121243725222875226482232222243327127262218252 +3323333353333223221314342234343232122333344531835638234322232213321355383332336233223253333314342142 +2132231222243242331415122422134532223321221432423222212222123322222122125322212112843224222322232412 +2233232213223321233263353823231313333366227132935361343243221122223233125225712213522215392332212223 +2342522443212122222232212326232224142112122224222223232332435274521424213322533235122223532284312222 +3532323333333332223422214354324342353445332231224533453424243433241432444243433342232442453423534442 +5248314323155321256223223632252322213322326251126124433422362223831232222233242343625322253232312635 +5533562233644664345653355546355533441222361464357333355651527618343454649333533623435465586663352342 +4512422521514251552325533231321134222311221422233544231223233415454334322335552531545435223225256789 +3328633373223372333323514333323323333336333532331118333433333323326363433333334443323336332431373838 +2324123522323212232122181222422313323222221232332329122333222621232532212423282132624422223632124243 +2417564613144333334652465632832746431235351332135346545744657473227453225356525276623625242155523325 +2343145134333232363347235233432253323435232153532633433623253453335225373846934435335433336425223353 +4224237454343432447542232293349235322212131423242324424556332222431344373442225437483454556448249294 +6212222232623222112323322422222121222232233222223237225353222311122132323515337212313522222422323321 +2722234221322213222122424224232242222437232134222222225114229222224124262222452242122242242192342211 +3821533337222233123213332222316234483232263623333353362342333222333727443333243222123324442337335142 +5632724243413341424352522444443344442542432333432434438234343444434443364434432433425341443134443244 +3233222242122222321228223222232252322222321222322431222211232232122221222222242222112222242222412212 +9123322224222623222233324475233476422325478322254422614262435322121494452782223214334932234221222226 +2334445324223261222322333171443431133323464423432232843324465312223432332622337314231621663492122126 +4443453434343434525923364564733344433342444334283654743425243234146333432437435373442333547434344235 +3332242333367322112134333333353233321323332341333343133233835333433333343333413333243333133232435322 +7614474227147444741754636414445385987364246725454544442653343824461394544277646435455664793443844784 +6735466655756647756763574546666658746676864476526584268665456546626436335367465625845283666569884955 +5354783866737744638753885692633477443345233634438432393264746546446624485863594544467553247848573253 +2317878467774472244434994661392234444432594249924144646924345644722454544323353468331493573154224547 +1343242232234585459353912424235822434316334228544843812313344322842257424553222225244232225352123334 +4544344484425346236424864545464364446964444544324443296663563463546643444362354654468639565454536476 +3341216232643339473421253132323342323319564256823562535343332624245325213355586253225223553635263235 +3213224222222231252115412212222222222225122221312122513222224212322222132212232222223322322222212222 +3234522112225552232314341223242223341211244132332216342422342333231121224142322333422332625221271332 +1221232244222162328214241223217222411222212222217116223224212422212215252221223223222132212222632542 +3333324333131434327332341333334323323433433362333331331335324334333393532423944723242322332333322313 +4337144252264346244724444823444423433342444434642432343323443344545442442445244344224334441432434424 +4352323433542333443723463565413445255513245344333438454134434714732335323627554794533427353231334332 +3235433332334342333435335533344624544631144536355354353433513333163352364124433443832433313635624723 +1133333363333333532233332543333334433333333243433333433224334333232333333433332632223333323333333323 +2331344242114223424344121112242124442313111142414314234424343132124312333212311341234114322331156789 +3354247463458776653455522545433344334544463733577543465414351555552445674654535656366644535622452663 +2345322332332333323232433233233221393332224332225423233316523333334424222364223333622443233135523322 +2222223222212231222232243222122242222222222222222122322222121122222224212221122222222222233222222122