結果
| 問題 | No.3394 Big Binom |
| コンテスト | |
| ユーザー |
 daiota
|
| 提出日時 | 2025-12-01 20:43:56 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 21,320 bytes |
| 記録 | |
| コンパイル時間 | 2,039 ms |
| コンパイル使用メモリ | 198,860 KB |
| 実行使用メモリ | 238,180 KB |
| 最終ジャッジ日時 | 2025-12-01 20:44:17 |
| 合計ジャッジ時間 | 19,780 ms |
|
ジャッジサーバーID （参考情報） |
judge4 / judge3 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | WA * 4 |
| other | WA * 21 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll,ll> P;
#define REP(i,n) for(ll i=0;i<ll(n);i++)
const ll MOD=998244353;
ll inv[10000010],fac[10000010],finv[10000010];
void fact(){
fac[0]=fac[1]=1;
finv[0]=finv[1]=1;
inv[1]=1;
for(ll i=2;i<10000005;i++){
inv[i]=MOD-inv[MOD%i]*(MOD/i)%MOD;
fac[i]=fac[i-1]* i%MOD;
finv[i]=finv[i-1]*inv[i]%MOD;
}
}
ll C(ll n,ll k){
if(!(0<=k && k<=n)) return 0;
return fac[n]*(finv[k]*finv[n-k]%MOD)%MOD;
}
ll mp(ll x,ll n){
ll res=1;
while(n!=0LL){
if(n%2!=0LL) res=(res*x)%MOD;
x=(x*x)%MOD;
n/=2;
}
return res;
}
int main(void){
cin.tie(nullptr); ios_base::sync_with_stdio(false);
ll i,j;
fact();
vector<ll> v={1,373341033,45596018,834980587,623627864,428937595,442819817,499710224,833655840,83857087,295201906,788488293,671639287,849315549,597398273,813259672,732727656,244038325,122642896,310517972,160030060,483239722,683879839,712910418,384710263,433880730,844360005,513089677,101492974,959253371,957629942,678615452,34035221,56734233,524027922,31729117,102311167,330331487,8332991,832392662,545208507,594075875,318497156,859275605,300738984,767818091,864118508,878131539,316588744,812496962,213689172,584871249,980836133,54096741,417876813,363266670,335481797,730839588,393495668,435793297,760025067,811438469,720976283,650770098,586537547,117371703,566486504,749562308,708205284,932912293,939830261,983699513,206579820,301188781,593164676,770845925,247687458,41047791,266419267,937835947,506268060,6177705,936268003,166873118,443834893,328979964,470135404,954410105,117565665,832761782,39806322,478922755,394880724,821825588,468705875,512554988,232240472,876497899,356048018,895187265,808258749,575505950,68190615,939065335,552199946,694814243,385460530,529769387,640377761,916128300,440133909,362216114,826373774,502324157,457648395,385510728,904737188,78988746,454565719,623828097,686156489,713476044,63602402,570334625,681055904,222059821,477211096,343363294,833792655,461853093,741797144,74731896,930484262,268372735,941222802,677432735,474842829,700451655,400176109,697644778,390377694,790010794,360642718,505712943,946647976,339045014,715797300,251680896,70091750,40517433,12629586,850635539,110877109,571935891,695965747,634938288,69072133,155093216,749696762,963086402,544711799,724471925,334646013,574791029,722417626,377929821,743946412,988034679,405207112,18063742,104121967,638607426,607304611,751377777,35834555,313632531,18058363,656121134,40763559,562910912,495867250,48767038,210864657,659137294,715390025,865854329,324322857,388911184,286059202,636456178,421290700,832276048,726437551,526417714,252522639,386147469,674313019,274769381,226519400,272047186,117153405,712896591,486826649,119444874,338909703,18536028,41814114,245606459,140617938,250512392,57084755,157807456,261113192,40258068,194807105,325341339,884328111,896332013,880836012,737358206,202713771,785454372,399586250,485457499,640827004,546969497,749602473,159788463,159111724,218592929,675932866,314795475,811539323,246883213,696818315,759880589,4302336,353070689,477909706,559289160,79781699,878094972,840903973,367416824,973366814,848259019,462421750,667227759,897917455,81800722,956276337,942686845,420541799,417005912,272641764,941778993,217214373,192220616,267901132,50530621,652678397,354880856,164289049,781023184,105376215,315094878,607856504,733905911,457743498,992735713,35212756,231822660,276036750,734558079,424180850,433186147,308380947,18333316,12935086,351491725,655645460,535812389,521902115,67016984,48682076,64748124,489360447,361275315,786336279,805161272,468129309,645091350,887284732,913004502,358814684,281295633,328970139,395955130,164840186,820902807,761699708,246274415,592331769,913846362,866682684,600130702,903837674,529462989,90612675,526540127,533047427,110008879,674279751,801920753,645226926,676886948,752481486,474034007,457790341,166813684,287671032,188118664,244731384,404032157,269766986,423996017,182948540,356801634,737863144,652014069,206068022,504569410,919894484,593398649,963768176,882517476,702523597,949028249,128957299,171997372,50865043,20937461,690959202,581356488,369182214,993580422,193500140,540665426,365786018,743731625,144980423,979536721,773259009,617053935,247670131,843705280,30419459,985463402,261585206,237885042,111276893,488166208,137660292,720784236,244467770,26368504,792857103,666885724,670313309,905683034,259415897,512017253,826265493,111960112,633652060,918048438,516432938,386972415,996212724,610073831,444094191,72480267,665038087,11584804,301029012,723617861,113763819,778259899,937766095,535448641,593907889,783573565,673298635,599533244,655712590,173350007,868198597,169013813,585161712,697502214,573994984,285943986,675831407,3134056,965907646,401920943,665949756,236277883,612745912,813282113,892454686,901222267,624900982,927122298,686321335,84924870,927606072,506664166,353631992,165913238,566073550,816674343,864877926,171259407,908752311,874007723,803597299,613676466,880336545,282280109,128761001,58852065,474075900,434816091,364856903,149123648,388854780,314693916,423183826,419733481,888483202,238933227,336564048,757103493,100189123,855479832,51370348,403061033,496971759,831753030,251718753,272779384,683379259,488844621,881783783,659478190,445719559,740782647,546525906,985524427,548033568,333772553,331916427,752533273,730387628,93829695,655989476,930661318,334885743,466041862,428105027,888238707,232218076,769865249,730641039,616996159,231721356,326973501,426068899,722403656,742756734,663270261,364187931,350431704,671823672,633125919,226166717,386814657,237594135,451479365,546182474,119366536,465211069,605313606,728508871,249619035,663053607,900453742,48293872,229958401,62402409,69570431,71921532,960467929,537087913,514588945,513856225,415497414,286592050,645469437,102052166,163298189,873938719,617583886,986843080,962390239,580971332,665147020,88900164,89866970,826426395,616059995,443012312,659160562,229855967,687413213,59809521,398599610,325666688,154765991,159186619,210830877,386454418,84493735,974220646,820097297,2191828,481459931,729073424,551556379,926316039,151357011,808637654,218058015,786112034,850407126,84202800,94214098,30019651,121701603,176055335,865461951,553631971,286620803,984061713,888573766,302767023,977070668,110954576,83922475,51568171,60949367,19533020,510592752,615419476,341370469,912573425,286207526,206707897,384156962,414163604,193301813,749570167,366933789,11470970,600191572,391667731,328736286,30645366,215162519,604947226,236199953,718439098,411423177,803407599,632441623,766760224,263006576,757681534,61082578,681666415,947466395,12206799,659767098,933746852,978860867,59215985,161179205,439197472,259779111,511621808,145770512,882749888,943124465,872053396,631078482,166861622,743415395,772287179,602427948,924112080,385643091,794973480,883782693,869723371,805963889,313106351,262132854,400034567,488248149,265769800,791715397,408753255,468381897,415812467,172922144,64404368,281500398,512318142,288791777,955559118,242484726,536413695,205340854,707803527,576699812,218525078,875554190,46283078,833841915,763148293,807722138,788080170,556901372,150896699,253151120,97856807,918256774,771557187,582547026,472709375,911615063,743371401,641382840,446540967,184639537,157247760,775930891,939702814,499082462,19536133,548753627,593243221,563850263,185475971,687419227,396799323,657976136,864535682,433009242,860830935,33107339,517661450,467651311,812398757,202133852,431839017,709549400,99643620,773282878,290471030,61134552,129206504,929147251,837008968,422332597,353775281,469563025,62265336,835064501,851685235,21197005,264793769,326416680,118842991,84257200,763248924,687559609,150907932,401832452,242726978,766752066,959173604,390269102,992293822,744816299,476631694,177284763,702429415,374065901,169855231,629007616,719169602,564737074,475119050,714502830,40993711,820235888,749063595,239329111,612759169,18591377,419142436,442202439,941600951,158013406,637073231,471564060,447222237,701248503,599797734,577221870,69656699,51052704,6544303,10958310,554955500,943192237,192526269,897983911,961628039,240232720,627280533,710239542,70255649,261743865,228474833,776408079,304180483,63607040,953297493,758058902,395529997,156010331,825833840,539880795,234683685,52626619,751843490,116909119,62806842,574857555,353417551,40061330,822203768,681051568,490913702,9322961,766631257,124794668,37844313,163524507,729108319,490867505,47035168,682765157,53842115,817965276,757179922,339238384,909741023,150530547,158444563,140949492,993302799,551621442,137578883,475122706,443869843,605400098,689361523,769596520,801661499,474900284,586624857,349960501,134084537,650564083,877097974,379857427,887890124,159436401,133274277,986182139,729720334,568925901,459461496,499309445,493171177,460958750,380694152,168836226,840160881,141116880,225064950,109618190,842341383,85305729,759273275,97369807,669317759,766247510,829017039,550323884,261274540,918239352,29606025,870793828,293683814,378510746,367270918,481292028,813097823,798448487,230791733,899305835,504040630,162510533,479367951,275282274,806951470,462774647,56473153,184659008,905122161,664034750,109726629,59372704,325795100,486860143,843736533,924723613,880348000,801252478,616515290,776142608,284803450,583439582,274826676,6018349,377403437,244041569,527081707,544763288,708818585,354033051,904309832,589922898,673933870,682858433,945260111,899893421,515264973,911685911,9527148,239480646,524126897,48259065,578214879,118677219,786127243,869205770,923276513,937928886,802186160,12198440,638784295,34200904,758925811,185027790,80918046,120604699,610456697,573601211,208296321,49743354,653691911,490750754,674335312,887877110,875880304,308360096,414636410,886100267,8525751,636257427,558338775,500159951,696213291,97268896,364983542,937928436,641582714,586211304,345265657,994704486,443549763,207259440,302122082,166055224,623250998,239642551,476337075,283167364,211328914,68064804,950202136,187552679,18938709,646784245,598764068,538505481,610424991,864445053,390248689,278395191,686098470,935957187,868529577,329970687,804930040,84992079,474569269,810762228,573258936,756464212,155080225,286966169,283614605,19283401,24257676,871831819,612689791,846988741,617120754,971716517,979541482,297910784,991087897,783825907,214821357,689498189,405026419,946731704,609346370,707669156,457703127,957341187,980735523,649367684,791011898,82098966,234729712,105002711,130614285,291032164,193188049,363211260,58108651,100756444,954947696,346032213,863300806,36876722,622610957,289232396,667938985,734886266,395881057,417188702,183092975,887586469,83334648,797819763,100176902,781587414,841864935,371674670,18247584,0,0};
vector<ll> u={1,490058372,51625059,695462981,728187357,310402238,477429414,342092605,830693344,921885471,759799589,450923463,61251247,457998033,209179915,671789491,398879408,862658278,602923260,311915383,867498551,623622051,650441514,236862811,618741947,166075741,548822955,30594482,504195635,614532293,554082439,289558849,538046429,877167104,693380715,560352203,84403822,20104390,441132239,743705033,935077313,739477278,359392423,800213193,198957241,740332423,733997151,916566167,967904538,209257758,190826693,936781731,905696722,226555701,260941903,449608418,859615378,246920569,982880909,178336254,797071813,244544021,206353262,836764978,284284558,582618058,933673725,928466077,644453789,64003842,561288278,263235848,278199525,67453668,805881946,627190275,386525071,126412649,48822620,319395907,574600270,326842553,543035789,442691886,911743593,224258052,855495771,692675205,729378868,218462105,319060424,483766453,940595774,189520139,107935512,128380276,976429470,192458155,451933029,266899928,178367884,882150833,805051089,633668957,380401293,974084029,25083679,279109331,45916545,595825577,780342347,381594760,103440970,439051085,928254970,348364645,617538401,351012488,336956144,640286060,918748953,165372833,558174544,488153918,552980873,583866018,852182893,74766398,412908687,462616893,716049421,542834726,902008482,908654976,480288057,130494106,638777488,327658121,320813675,846447044,372477309,93060100,386043722,768867815,282491685,481147696,457008508,144769154,109310411,622684903,926009008,855421273,962189011,659337524,440817225,877567135,981271110,303318898,638530432,746784183,970706036,180961719,364026354,211562221,360848035,638624725,204567479,426966849,15719242,230020082,46268720,696426924,949147901,556011519,697879051,120927051,243531237,856355807,721732549,455339902,291844170,452925772,532234348,281866315,548615073,596015915,105121890,308552771,78148056,701617901,621032546,435163180,283193532,311192590,554300776,577196227,98392753,448899853,836559289,21004038,365971928,257634636,686753882,360118662,353803260,917869163,886329157,818495374,677375709,101159856,20133513,787903223,290729943,232494258,742341694,374788769,899058030,853081907,388195490,285890477,738809835,925026339,242850738,468204234,811533162,948348044,961393970,744757868,426234283,520204343,190257326,836409614,708530994,592893905,510294871,909475234,169046741,127981018,806398157,885348248,877196715,294816833,816555672,991103573,739199557,859944460,186542420,337349517,980845798,682490089,761319181,413444587,965722990,828337125,799980361,820611505,388455773,15526898,76403843,178856283,552775398,12006827,718062902,376166999,352451202,915700473,436315792,409030036,608551894,198541470,159336557,515714894,306311664,260982554,777573284,61484435,803320773,333982693,210584941,964725509,326545967,702793569,969435285,317648543,963711226,608571548,754232497,273199735,252073094,978390087,248000896,916145481,670398772,261751428,393363965,17094531,639442533,888009888,454721730,960828782,691050464,325020674,308150581,325978338,337064152,238322632,961953093,482735870,786902928,826018256,108831724,727717050,403268027,213178703,258222569,511191443,475167843,192218693,224503614,975555803,266913096,103655767,374319549,156105717,221014461,714595462,613830633,701216391,983404583,151603819,254038565,340379036,469472556,673342894,847735786,849952908,684139911,868154197,68290362,880423759,683343831,533142765,309309258,860574373,328482367,953839587,980900311,895403335,43844647,409722130,586709838,28125613,328686686,13046452,533100799,283750812,551232164,289846018,318545130,66892473,858843854,780618987,373829832,482254216,809891451,588938033,106000870,702596616,387209685,785353757,773279646,446385635,116210837,82537134,73158530,717980033,228951774,295432936,843877865,554722242,722009235,365148272,964835783,816359259,64947036,377775169,456435128,728467109,561713174,398882884,990779119,275009804,911302858,553052490,190147105,303284848,694477833,24736139,193791653,478462763,719646401,452866369,118292293,498638989,980549025,905007131,844103519,794625886,993432441,981862987,252907357,197267147,727893838,977006125,763846452,899304792,129010197,749508965,577769565,323987639,840074893,753049763,451220160,1318910,612066960,451804416,962233034,27400581,714690622,949318184,400450951,611276049,134997846,320103424,515722521,932821526,805477672,283501418,503093199,744707409,579105471,502854617,422921074,278516703,910623627,510769776,344598437,504823930,595929946,262423548,964822723,563506349,435762287,6155038,168561957,242765348,375315769,992601681,681857777,95609685,154902819,678221149,153992852,378974878,840910559,830745715,481520346,980770795,298127479,380814273,891531382,642154067,859888736,125010935,571661472,908353551,967269678,839791051,433938696,147981701,40579732,896155874,622670561,362000204,891941059,595125901,348465587,315343432,17898753,119472709,151344119,80692857,882570333,626978361,325096553,978553977,210929563,438699101,571483922,949930679,7870149,690111920,699633619,361410951,689994475,705657697,290675109,218858662,62146207,970047392,287152769,906470410,906100786,718737604,940580377,566153345,132479808,237423271,902232591,757075326,971936258,728162205,997665989,56091694,572750293,467303297,972215720,806875121,268578773,459667712,791990436,616921781,867427299,112879421,891536614,61159489,847269452,508556859,810809931,180575374,284114094,472413320,25287000,172101475,887429072,871099196,934837589,264404334,418447250,113411959,84016503,211045931,702666785,538291579,873163054,130951582,387919918,694896982,453038091,871163851,516168960,553669394,306733197,179392959,511929582,376055773,450574317,695847087,810209901,112566908,29678053,225509547,888017082,924153631,534969607,508294852,114839002,875924098,571609910,849892550,7835283,450931813,37462829,239376007,442167555,26743981,426391370,740209479,676027363,589906446,549295580,286492808,233679464,62655683,340373313,148791638,62844063,123647139,874184665,56602566,215464019,642939907,528218068,264662227,267010675,50248932,70351583,917806381,44452855,930223710,373591304,624642473,125062847,616162641,607098271,394837152,842524973,31868584,787749520,837016639,964051474,911328209,260210077,35852185,222964549,934999251,244591455,413351072,376767687,965511120,222563229,438014774,905793036,651737119,796783175,204524003,256643011,907540960,82137688,575305307,144084007,888773383,611376797,713763738,732684119,441216070,294199779,732075300,117250349,501225987,898409719,447553808,903031114,245437007,923616720,267913026,599162242,294903197,937440354,137704911,167958732,809803864,401141309,585950215,776472470,711295460,825039032,437612818,880291252,497116532,157282384,18468040,267932930,400300789,101743180,246887802,733852805,632928371,627200499,684888901,540157816,848440782,169073306,666042047,146645556,137317030,21551615,388964903,981277,759823628,23189943,561691531,237107466,617816304,722530910,251287080,345554828,928954558,477100046,207802106,654268249,667181430,109496185,531771500,515961727,899258462,549502841,7905277,708458902,349639016,376429097,8025570,61297255,357846483,630066074,176750517,121928783,136497070,418544897,856960219,972619373,466601983,132022912,247577702,880005481,400635519,740177254,929935829,425886024,371032333,702097339,665365481,555087337,60017392,787047654,871496322,802785896,48351339,582003068,762865157,700338334,955994296,545185951,525952670,888810175,521359198,263266233,145744733,527375087,909149025,642408721,965912165,90983062,110316459,116133420,731885180,204280570,194334660,856146027,594713947,289165782,555455456,769817841,904419800,449562574,685102727,6417861,303781493,519214738,228686843,894682739,976056255,791815569,101451723,508687609,619955081,38004714,168986862,998039838,540441824,471917511,275479910,501966546,208931738,417068054,476644817,309233071,453050613,40280286,615113716,371349046,11210458,145882692,395028540,688938723,675536884,751373797,398796779,466085625,371857039,159945797,297306569,315226634,474489101,760937515,383092791,579737828,78758896,595100041,531150839,638965240,587409415,266132673,594486210,839637756,710794435,709925290,206734984,629639424,342722909,371546781,730680168,984749259,788369122,769506990,976721117,873858680,333319168,456137649,917803800,853479945,399714285,337710895,915600716,672787286,761953520,410277031,297985294,860260957,506292259,422554714,131323782,787678965,907970484,946416634,140317749,511190883,900122041,659028537,909546856,567635145,455481021,731290044,355275716,94834121,720208302,5055419,820961492,963015701,768039963,381456294,231943378,357169669,823865624,873150297,743143683,62369469,116606360,908808647,663026711,348714095,517625087,675162017,688398894,645746560,234357017,288350945,207496907,648721402,434914353,280762859,577047457,985400851,186679550,204613985,331575958,813957864,1586145,700435369,116675312,570156848,814143673,676241746,595248480,851458914,116672829,337241663,696975079,20784587,498945130,937680149,551917357,701664127,936384824,820990155,850797027,97123848,672473280,839859775,153982966,119015875,140943141,24273135,492836885,624063246,259360959,947023421,331871451,732082262,139986805,346852980,468753850,394002728,376255738,346748682,479282495,63116593,525329868,572086031,813231396,871384541,929558218,303200974,143760749,118778214,444605732,876229308,944732864,538659578,992199867,290776851,355318036,976479999,60996639,761042887,261735677,254465737,388454776,456716559,787909277,987399854,386173025,769038337,149378151,855883881,565856511,656009317,86681597,64328955,790589,536470464,642221424,244136591,525825797,275818160,280340852,730028787,409218170,79108141,954731411,507872352,621501399,172807928,561179529,906928038,493641155,187744247,279470794,100360210,341007263,660828195,595645691,515948717,137614342,481929980,176549874,371052309,748989437,689096578,568632330,20296095,174311889,120417790,928065811,171703488,668262639,359054580,936566570,604119165,0,0};
cout << v.size() << endl;
cout << u.size() << endl;
ll N,K;
cin >> N >> K;
K=min(K,N-K);
ll x=1;
if(K==0) cout << 1 << endl;
else if(N<=10000000) cout << C(N,K) << endl;
else if(N+1-K>MOD){
for(i=N+1-K;i<=N;i++){
x=x*i%MOD;
}
x*=finv[K];
x%=MOD;
cout << x << endl;
}
else{
ll p=N/1000000;
x=v[p];
for(i=1000000*p+1;i<=N;i++){
x*=i;
x%=MOD;
}
ll q=K/1000000;
ll y=u[q];
if(K<=10000000){
x*=finv[K];
x%=MOD;
}else{
for(i=1000000*q+1;i<=K;i++){
j=mp(i,MOD-2);
y=y*j%MOD;
}
x*=y;
x%=MOD;
}
q=(N-K)/1000000;
y=u[q];
if(N-K<=10000000){
x*=finv[N-K];
x%=MOD;
}else{
for(i=1000000*q+1;i<=N-K;i++){
j=mp(i,MOD-2);
y=y*j%MOD;
}
x*=y;
x%=MOD;
}
cout << x << endl;
}
return 0;
}