User talk:Jasper Deng/Archive 24

198:

required and cannot have a multiple. That still deviates from the subset sum problem. Allowing for an infinite supply for all the other integers means that I only have to show what the minimum difference is in the set. In your example of {-2, -4, 6}, the minimum difference is 2. So, with that set, I can get any result of n*2. If n must be an integer, n*2 will never equal 7. If it was a problem where the answer was 'yes', I still wouldn't know what the answer might be. I would just know that the destination result is a multiple of the minimum difference and, therefore, there is an answer. I admit that I'm not taking into account the number of times you can go up/down in this part of the discussion. I'm merely trying to explain why I don't see how this reduces properly to the subset sum problem - which doesn't mean that I haven't read what you wrote. I merely disagree with what you wrote. I am happy to continue discussing this with you if you like. You are handling this discussion very well compared to the students (and often professors) that I normally talk to. In reality, this is the time of year that I am flooded with students who just realized that they don't know how to handle a two-dimensional array or somehow skipped every class that discussed how pipelining works. But, I fully understand if you do not want to discuss it. I will only respond if it appears that you want a response.

439:

variables and constants must be integers. I believe that the entire argument centers on the fact that you do not see it as ax+by+cz... = d. They way I see it, it is a linear Diophantine equation (I know that it is also listed as a denumerant problem and as an unbounded knapsack problem). Therefore, all previous work with linear Diophantine equations apply. My point, from my very first statement, is that asking "is there a solution" is often easier than "what is the solution". Getting a solution for a linear Diophantine equation is a counting problem and known to be #P. Asking if a solution exists is a very different question. Papadimitriou, Faliszewski, and Hemaspaandra are, to my knowledge, still debating this (and I plan to discuss it with them at conference in July). They all agree that if all variables are positive, it is #P-complete to ask "is there a solution." What if some are negative? I posed that I could convert a linear Diophantine equation with negatives in one that only contains positives and therefore, it would be #P-complete. That was shot down quickly because I would be adding extra constraints on the constants. Until I see proof that it is NP (or more precisely, #P), I will continue to state that it is possible that the "is there a solution" question might not be NP.

305:

science enthusiasm ... not implying that you must be from California or that you are worse off if you aren't). To the problem: The minimum difference in {7, 3, 5} is 3 since there is no negative value to compare the positive values to. There is no n such that n3 = 4. So, I can easily say that there is no solution. In the example you previously had and replaced, the minimal difference for {-9, 3, 5} is 4. There is an n such that n4=4. So, there is a solution. You don't compare same signed numbers for difference, only opposite signed numbers. Then, you ignore multiples. This is based on a proof of the Chinese Remainder Theorem that I read decades ago. It is what immediately comes to mind when looking at this problem (just the "can I make a sum", not the entire "balloon" problem). In that proof, it was shown that the subset sum problem was not NP if multiples were allowed. I'm sorry that we are obviously miles apart in our understanding of looking at the same text.

111:

C and I want them to sum up to D, I am looking for xA+yB+zC=D. The issue is that there are two problems. One is "What are the values for x, y, and z?" The other is "Is there an x, y, and z that can solve the first problem?" The "is there a solution" version, which is what I believe you asked, is much easier. First, you can easily answer no if all of the values of A, B, and C are negative and D is positive. Similarly, if A, B, and C are all positive and D is negative, the answer is no. As long as at least one of A, B, or C is the same sign as D, there is *a* set of values x, y, and z that will solve the problem. But, that doesn't mean that there are integer values of x, y, and z that solve the problem. Further, it doesn't tell you what those values might be. Do you agree with this so far or am I still way off on your problem?

892: 730:

tropical cyclones which I felt was trivial, when your looking at telling the story of Meranti since there are 4 typhoons which make the list this year thus far. The other part is that the JTWC and their intensity estimates are unofficial and we have to remember that most of the world is based on 10-min winds. I also noticed that we are currently saying that Winston had the exact same 1-minute winds as Meranti. However, you reverted fairly as you felt that "Meranti was notable for its intensity estimates and this should be reflected here." As a result I think we need to work together to find a solution to both of our concerns.

845: 838: 831: 31: 509:

polynomial time approximate solutions." The knapsack problem does have a FPTAS. The textbook I use for reference is "Approximate Solutions" by Vazirani. I admit that it is considered a "dirty" science. Who really wants an approximate solution? But, it answers the question "does it exist" and often there is a fully polynomial time approximation. That goes back to the only point I've intended to make: There *may* be a polynomial time answer to "does it exist" for your original problem.

992: 853: 659: 985: 365:

won't have it. Please continue to pursue this and you should eventually see that you can turn it into a linear Diophantine equation. You don't need to solve the equation to get a "yes" or "no" answer. However, solving those equations is very simple. Then, adding the part about going up and down is a twist that I don't feel will change the solution much.

280:

I'm not claiming to be an expert in this field, but it's clear to me that you aren't reading what I'm writing/wrote. I'm not sure what you're wondering about, but if it is the NP-completeness of the unbounded subset sum problem, make sure you understand precisely what that problem means, and refer to

765:

Ok I misread both Chaba and Meranti's estimates and yeah i agree that the MH should be cut down to size while being cleaned up. I have made several seasons GA quality and would love to take a PTS there if we could all pull together on it. However, I still disagree that it should be mentioned that it

110:

While I seriously doubt we will ever come to any agreement about the problem statement, I have a gut feeling that your problem boils down to taking a set of numbers (I believe they will be integers) and seeing if you can sum them up to a specific value. As an example, if I have the integer A, B, and

487:

If what you are asking for is a proof sketch, I can happily provide it at a later time (I am about to go off and do something else). But again, I doubt you'd understand. You did not even get the order of the reduction in question correct, and as before, "not NP" is clearly false - this problem most

364:

I'm sorry, but I still see this as being far too similar to asking if ax+by=c for some value of x, y, and c. You are allowing multiples of x and y, so you have the a and b to contend with. I've tried to nudge you back through time, hoping to eventually get to Diophantus. It is clear that you simply

197:

The difference between the subset sum problem and your problem is that you have multiples of each integer. That is a huge difference. As you appear to have already noticed, getting a sum of zero when multiples are allowed for all integers is trivial. Your complication is that one of the integers is

508:

You are correct that the Knapsack Problem is NP as an optimization problem. Asking "does a solution exist" is different. What if I can approximate a solution? It isn't optimal, but it is a solution? That is what I work with, approximate solutions to NP problems. Technically, they are called "fully

438:

Apparently, this still bugs you. I still disagree with the claim that this absolutely must be an NP-complete problem. I see that you have a set of variables (x, y, z...) and you want to come up with a set of constants (a, b, c...) such that ax+by+cz... = d. The constraint is that all values of all

336:

does not apply here because the numbers are not coprime, and we have negative numbers in the mix as well. So the problem is not equivalent to "is my target number an integer multiple of the minimal difference". Have you read the text I linked for the proof of the NP-completeness? Another source is

304:

It appears that the gap between what you are writing and what I am reading is far to wide to cross, but I do admire your enthusiasm. I haven't been lucky to have many enthusiastic students or colleagues since I left California (I think proximity to Silicon Valley is strongly correlated to computer

752:

Meranti had higher 1-minute winds than Winston and that is reflected in the article ("surpassing..."). Instead, it would be better to cut down on the excessive information on the storm's meteorological history (which belongs in the storm's own article). And I only recall three typhoons making the

1078:

I don't understand what your issue with the improvements that were made to this template are, but reverting all the changes just because some text is not bold is preposterous. If you would like text to be bold that is not currently bold, there is the sandbox. Or you can post on the talk page and

549:

By the way, my original gut feeling about my original problem was that it had to have an efficient solution. Results of NP-completeness can be surprising and I spent hours convincing myself my reduction was correct (see also my proof sketch below). And on the subject of approximation algorithms,

326:

I have since updated my problem. You may claim P = NP if you want, but in general your "minimal difference" method is doomed for failure. For example, it would incorrectly answer "no solution" for the instance A = -3, B = 5, C = 9, D = 27, because 27 is not even, even though there's the obvious

729:

Hi Jasper, As per usual we are now over 200000b for the PTS article and as a result I am looking at all of the sections in order to try and clean them up. As a part of this earlier, I removed some information relating to Meranti's intensity in comparison to Winston and the list of most intense

389:

can be solved in polynomial time while 3-SAT is NP-complete, even though both are so similar - so "similar" doesn't cut it. In particular, ax + by = c can be efficiently solved like you said, and in fact, introducing a 3rd variable can be most likely solved efficiently (based on what I've been

156:

that you'll always be able to find an answer, even if one of A, B, and C have the same sign as D, because I have constrained x, y, and z to be integers. The problem instance with D = 7, A = -2, B = -4, C = 6 has no solution because no integer linear combination of even numbers will make an odd

407:

NP-complete via reduction from subset sum (the proof of this is left as an exercise); for a single Diophantine equation (again with variables constrained to be nonnegative - that is important!), the unbounded subset sum problem shows that it too is NP-complete in general. Your comment is very

402:

reputable texts that establish NP-completeness of unbounded subset sum. And in any case, given that you earlier did not understand what I meant by a "reduction", you appear to be unqualified to be talking about complexity theory - I've been replying primarily for your benefit, but I doubt you

331:

of the numbers in question, but there is the obvious solution 1(-1) + 25(4) + 1(8) + 0(16) among many others. In fact, it would erroneously conclude that whenever the minimal difference is greater than one, and the target number is prime, larger than the minimal difference, and not one of the

223:

my reduction (and clearly you don't understand what a "reduction" is - I don't care about reducing it to the subset sum problem because like every problem in NP, this problem can be reduced to it - I'm interested in proving it's NP-complete, which requires a reduction

327:

solution x = y = 0, z = 3, and also the solution x = 6, y = 9, z = 0 or x = 6, y = 0, z = 5. A less trivial example with more than 3 elements in the set is the set {-1, 4, 8, 16} with target value 107. Again, the minimal difference is 3, and 107 is not divided by

252:

generated by the numbers in the set we have (as you propose): the example with A = 6, B = 3, C = 5, D = 4 has no solution either, even though 1 is the "minimal difference". In fact, I should even correct myself here: the instance where A = B = C = 0 actually has

671:

is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.

272:

The unbounded subset sum problem, or the (equivalent) version of this problem where the target sum is not 0, but some other arbitrary number (the proof of this equivalence is left as an exercise for the reader), is shown to be NP-complete in

1169:

And it is completely in line for me to revert a massive change when I don't agree with it - and cosmetic reasons are very valid reasons to revert. Per BRD, you should not be reinstating your change before you settle the dispute over

403:

understand what I mean by "NP-complete", nor do you seem to be willing to look at the sources yourself. And in general, solving systems of linear Diophantine equations with the variables constrained to be nonnegative is

606:. Now using multiple instances of a member of the set causes the (l + 1)st component to be greater than 1 and thus missing the target, so any solution only will have at most one instance of every member of the set. K 460:

I also saw that it's a linear Diophantine equation - with the variables constrained to be nonnegative, and I happen to have had the pleasure of learning from Papadimitriou himself on this subject. I already told you

944: 161:

are solvable in polynomial time (as alluded to by other commenters on that thread) while the decision version of integer linear programming is NP-complete. Note that rephrasing the unbounded subset problem to allow

919:

JMA still clearly states a TD (former Nock-ten) active as of 27/12 18Z. I'm sure we talked about this before and stated that if JMA doesn't show a TD or system (in its Weather maps) then it had already dissipated.

554:

defined for decision problems, and second, the approximation algorithms we know can't be used to find an exact (i.e. always correct) solution to the decision problem. Otherwise we would not be asking if P = NP.

783: 166:

linear combinations makes it trivial: if A, B, C... are all zero, then there is no solution unless D = 0 as well, otherwise (without loss of generality) A is nonzero, then we can set x = D/A and y, z, ... =

1119:

before making such a change to an important infobox - this is not a typical infobox either, as it is more intended as a status indicator (akin to the vandalism meter above on my talk page) than a usual

818: 683:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose 575: 1195:

Hi, after I looked to the 1970 South-West Indian Ocean best track from Tropical Tidbits, I saw that Iseult formed in there, I also looked that Harriet never formed in the Australian region, here:

578:(beginning with "In fact,"). We can enforce there being only one of each subset item by modifying the proof as follows: Change the dimension of the position vector space to |S| + 1; set 181:

Once again, you demonstrate that you need more experience with theoretical computer science. If you even bothered to read my reduction, you would have noticed that this doesn't matter.--

1228:

Look at the map there very carefully - Do you see that Iseult supposedly formed right on the border of the Australian region which was 80E for a number of years before it was changed.

699: 717: 602:, 0, ..., 1, 0, ..., 0) at odd-numbered heights 2l - 1, and (0, 0, ..., 1, 0, ..., 0) for even numbered heights 2l, where the 1 appears at the (l + 1)st component of 574:

For interested readers, my original problem can also be easily proven to be NP-complete using reduction from ordinary (0-1) subset sum. Refer to the proof I supplied

1237: 1208: 348:

for any "yes" answer, and obviously all we need to do is add up all those elements to show the validity of the solution, a polynomial time operation. This is the

1050: 544: 525: 455: 381: 321: 214: 128: 448: 232:

subset sum problem is also NP-complete. Want proof? It's in the paper I linked among others. The unbound subset sum problem still only allows you to have

562: 537: 518: 495: 419: 374: 359: 314: 299: 207: 188: 970: 954: 1180: 1157: 1127: 886: 775: 760: 753:

list (Nepartak, Meranti, Haima) this year (Chaba fell short at 905). The sub-900 pressure definitely merits mentioning that Meranti made the name.--

1094: 648: 1029: 1066: 1190: 824: 288:

what I wrote, that's a different thing, and I thank you for asking! But if it's that you don't understand my reduction, then you need to

590:= (T, 1, 1, ..., 1) for the target value T. Recall that at odd-numbered heights 2l - 1 (where l ranges from 1 to |S|), I specified that 1071: 931: 795:

for new pages. The BBC together with Wikimedia UK is holding a large 12-hour editathon. Many new articles and drafts are expected. See

174:

as this problem for it imposes further constraints; having an integer linear combination of wind vectors reaching your destination is

133:

You have exactly described the NP-complete problem I reduced from - unbounded subset sum, which is a similar yes-or-no problem and is

1173:

I would fix it myself, but I don't understand your code right now, and would rather have you fix it since you designed the change. --

1048: 120: 624: 1107:

It's not even just that. Cosmetically, I think your version is not as good as the previous (code-wise, yes it is good to re-use

1204: 277:. The other equivalent version can also be reduced to the balloon problem by setting point B to be equal to the desired sum. 137:. So short of proving P = NP you're never going to find a polynomial time algorithm that even answers "yes or no" correctly 978: 814: 713: 791:

are asked to be especially on the look out 08:00-20:00 UTC (that's local London time - check your USA and AUS times) on

739: 510: 440: 366: 306: 199: 112: 945:

Knowledge talk:WikiProject Tropical cyclones#Using JMA weather maps to extend western Pacific storm tracks needs to stop

1072: 1142:

and you are reverting a MASSIVE change because you "think it looks ugly that the text is not bold". That is absurd. --

1040: 766:

made the list, especially when you consider that to the best of my knowledge the list isn't replicated anywhere else.

265:

can be a simple yes/no question not requiring constructive proof of "yes". The only requirement is that if we have a

643: 1223: 1200: 1150: 1087: 1057: 617:

I also spoke with Papadimitriou today and he affirms that the unbounded subset sum problem is indeed NP-complete.--

480:

as a complexity class, because my problem as formulated is a decision problem. General decision problems in NP are

97: 89: 84: 72: 67: 59: 810: 709: 469:

which proves that unbounded sum is NP-complete, by reduction from 0-1 subset sum. Linear Diophantine equations

914: 904: 863: 692: 274: 1199:

So that means, there was no Harriet-Iseult, just Iseult, if that information is not true, please tell me.

1216: 704: 891: 141:

the time, even without explicitly finding an answer. The same goes for other NP-complete problems like

38: 873:

if it's occurring in your area of the world, and thanks for your work to maintain, improve and expand

844: 333: 175: 634:

Can you leave me a link to "Infobox Musical artist", because i cant find it, even after searching--

530:

Yes, it's possible that P=NP. That's not related to whether this problem is NP-complete though. --

1025: 514: 444: 370: 310: 203: 116: 105: 412:

have a rigorous understanding of the concepts here to be having a formal discussion about it. --

1177: 1124: 967: 951: 928: 883: 757: 680: 621: 559: 534: 492: 473:

the variables constrained to be nonnegative are easy, but that's a very important constraint.

416: 356: 296: 262: 185: 47: 17: 1196: 1233: 771: 735: 691:, editing restrictions, and other measures needed to maintain our editing environment. The 269:(i.e. "evidence" the answer is yes), we must have a polynomial time verification algorithm. 332:

integers in the set, there is no solution - which is false in general. In particular, the

8: 1116: 639: 394:), but not an arbitrary amount of variables, as in the general problem. You have offered 249: 1021: 241: 667: 649: 1174: 1136: 1121: 1110: 960: 948: 939: 921: 878: 754: 724: 676: 618: 556: 531: 489: 413: 353: 293: 182: 146: 1229: 1164: 1143: 1102: 1080: 869: 767: 747: 731: 46:

If you wish to start a new discussion or revive an old one, please do so on the

796: 688: 635: 220: 837: 830: 806: 684: 1061: 802: 629: 408:

hand-wavy, whereas mine are rigorously grounded in complexity theory - you

391: 344:

It is also wrong that this problem is not in NP. A solution multiset is a

134: 695:

describes the Committee's roles and responsibilities in greater detail.

157:

number. The restriction to integers is important - linear programs over

984: 784:

BBC 12-hour Editathon - large influx of new pages & drafts expected

852: 799:. Follow also on #100womenwiki, and please, don't bite the newbies :) 874: 658: 1132:

A consensus has LONG been reached to make all Infobox templates use

991: 1016: 1001: 1115:) in terms of spacing and text size. I'd highly suggest asking at 477: 698:

If you wish to participate in the 2016 election, please review

386: 341:

by Hans Kellerer, Ulrich Pferschy, David Pisinger (page 492).

142: 484:

as problems that ask "constructively find me one solution".

1197:

http://www.tropicaltidbits.com/data/TC/SI/tracks/1970.png

614:

will need modification, too, but this is just a sketch.

679:

is the panel of editors responsible for conducting the

248:-linear-combination, so one cannot simply look at the 281:

various publications that accept it as NP-complete.

152:indeed usually a simple yes/no question. It's also 1019:, and thanks for your contributions to Knowledge. 959:I'll just leave a message in there starting now. 398:rigorous proof of any method, while I have cited 797:BBC 100 Women 2016: How to join our edit-a-thon 594:would be the lth set member. Now instead let 1015:Have a prosperous, productive and enjoyable 1058:Knowledge:Notifications#Triggering_events 240:- this is a requirement of the original 14: 261:solution multiset. Also, a problem in 44:Do not edit the contents of this page. 668:2016 Arbitration Committee elections 25: 1191:Iseult exists, Harriet never exists 1056:Just in case you did not know, see 825:Merry Christmas and happy holidays! 23: 1073:Template:Infobox hurricane current 990: 983: 890: 843: 836: 829: 665:Hello, Jasper Deng. Voting in the 228:another NP-complete problem). The 24: 1249: 257:because of the requirement for a 1039:Send New Year cheer by adding {{ 851: 657: 244:too), so it is not an arbitrary 29: 236:coefficients (and importantly, 1041:subst:Happy New Year fireworks 550:first off, the concept is not 292:and explicitly tell me that!-- 13: 1: 971:22:39, 27 December 2016 (UTC) 955:22:36, 27 December 2016 (UTC) 932:22:35, 27 December 2016 (UTC) 887:15:23, 25 December 2016 (UTC) 718:22:08, 21 November 2016 (UTC) 681:Knowledge arbitration process 644:20:44, 17 November 2016 (UTC) 625:08:18, 17 November 2016 (UTC) 563:18:44, 17 November 2016 (UTC) 538:20:43, 14 November 2016 (UTC) 519:20:38, 14 November 2016 (UTC) 496:19:44, 14 November 2016 (UTC) 449:19:33, 14 November 2016 (UTC) 178:for a solution to my problem. 1238:17:57, 7 February 2017 (UTC) 1209:07:42, 23 January 2017 (UTC) 1181:06:57, 20 January 2017 (UTC) 1158:06:54, 20 January 2017 (UTC) 1128:06:45, 20 January 2017 (UTC) 1095:05:20, 20 January 2017 (UTC) 1079:request a change be made. -- 1067:11:19, 11 January 2017 (UTC) 979:Happy New Year, Jasper Deng! 819:00:02, 8 December 2016 (UTC) 776:21:37, 4 December 2016 (UTC) 761:20:47, 4 December 2016 (UTC) 740:20:37, 4 December 2016 (UTC) 420:14:38, 3 November 2016 (UTC) 375:12:05, 3 November 2016 (UTC) 360:20:13, 2 November 2016 (UTC) 315:20:04, 2 November 2016 (UTC) 300:19:05, 2 November 2016 (UTC) 275:Computers and Intractability 238:not all of which can be zero 208:17:31, 2 November 2016 (UTC) 189:15:26, 2 November 2016 (UTC) 121:12:11, 2 November 2016 (UTC) 7: 1224:Abdullah Almarri - A.W.S.T. 1201:Abdullah Almarri - A.W.S.T. 1030:07:18, 1 January 2017 (UTC) 903:Spread the WikiLove; use {{ 702:and submit your choices on 10: 1254: 811:MediaWiki message delivery 710:MediaWiki message delivery 700:the candidates' statements 476:And I'm not interested in 176:necessary but insufficient 334:Chinese remainder theorem 905:subst:Season's Greetings 907:}} to send this message 170:My original problem is 1043:}} to user talk pages. 995: 988: 895: 848: 841: 834: 994: 987: 915:Nock-ten dissipation? 894: 847: 840: 833: 677:Arbitration Committee 650:ArbCom Elections 2016 488:certainly is in NP.-- 42:of past discussions. 18:User talk:Jasper Deng 221:did not seem to read 793:Thursday 8 December 996: 989: 896: 859:Hello Jasper Deng: 849: 842: 835: 693:arbitration policy 652:: Voting now open! 242:subset sum problem 1217:talk page stalker 1152:What I been doing 1089:What I been doing 1051:ping anon editors 821: 467:Knapsack Problems 465:times to look at 339:Knapsack Problems 103: 102: 54: 53: 48:current talk page 1245: 1227: 1220: 1168: 1153: 1146: 1141: 1135: 1114: 1106: 1090: 1083: 1064: 1049:FYI: you cannot 1044: 1007: 965: 943: 926: 908: 881: 855: 800: 751: 661: 548: 529: 459: 385: 325: 218: 172:at least as hard 147:decision problem 145:. In general, a 132: 81: 56: 55: 33: 32: 26: 1253: 1252: 1248: 1247: 1246: 1244: 1243: 1242: 1221: 1214: 1193: 1162: 1155: 1151: 1144: 1139: 1133: 1108: 1100: 1092: 1088: 1081: 1076: 1062: 1054: 1038: 1035: 1008: 998: 981: 961: 937: 922: 917: 910: 902: 897: 879: 870:winter solstice 856: 827: 786: 745: 727: 722: 721: 705:the voting page 662: 654: 632: 613: 609: 601: 542: 523: 453: 390:reading on the 379: 319: 212: 126: 108: 106:Balloon problem 77: 30: 22: 21: 20: 12: 11: 5: 1251: 1241: 1240: 1192: 1189: 1188: 1187: 1186: 1185: 1184: 1183: 1171: 1149: 1086: 1075: 1070: 1053: 1047: 1033: 1032: 1020: 1014: 1002:Happy New Year 997: 982: 980: 977: 976: 975: 974: 973: 916: 913: 912: 911: 900: 864:holiday season 850: 828: 826: 823: 785: 782: 781: 780: 779: 778: 726: 723: 663: 656: 655: 653: 647: 631: 628: 611: 607: 599: 572: 571: 570: 569: 568: 567: 566: 565: 540: 501: 500: 499: 498: 485: 474: 435: 434: 433: 432: 431: 430: 429: 428: 427: 426: 425: 424: 423: 422: 342: 282: 278: 270: 192: 191: 179: 168: 107: 104: 101: 100: 95: 92: 87: 82: 75: 70: 65: 62: 52: 51: 34: 15: 9: 6: 4: 3: 2: 1250: 1239: 1235: 1231: 1225: 1218: 1213: 1212: 1211: 1210: 1206: 1202: 1198: 1182: 1179: 1176: 1172: 1166: 1161: 1160: 1159: 1154: 1147: 1138: 1131: 1130: 1129: 1126: 1123: 1118: 1112: 1104: 1099: 1098: 1097: 1096: 1091: 1084: 1074: 1069: 1068: 1065: 1059: 1052: 1046: 1045: 1042: 1034: 1031: 1027: 1023: 1022:Codename Lisa 1018: 1012: 1006: 1005: 1003: 993: 986: 972: 969: 966: 964: 958: 957: 956: 953: 950: 946: 941: 936: 935: 934: 933: 930: 927: 925: 909: 906: 899: 898: 893: 889: 888: 885: 882: 876: 872: 871: 866: 865: 860: 854: 846: 839: 832: 822: 820: 816: 812: 808: 804: 798: 794: 790: 789:AfC Reviewers 777: 773: 769: 764: 763: 762: 759: 756: 749: 744: 743: 742: 741: 737: 733: 720: 719: 715: 711: 707: 706: 701: 696: 694: 690: 686: 682: 678: 673: 670: 669: 660: 651: 646: 645: 641: 637: 627: 626: 623: 620: 615: 605: 597: 593: 589: 585: 581: 577: 564: 561: 558: 553: 546: 545:209.149.113.4 541: 539: 536: 533: 527: 526:209.149.113.4 522: 521: 520: 516: 512: 511:209.149.113.4 507: 506: 505: 504: 503: 502: 497: 494: 491: 486: 483: 479: 475: 472: 468: 464: 457: 456:209.149.113.4 452: 451: 450: 446: 442: 441:209.149.113.4 437: 436: 421: 418: 415: 411: 406: 401: 397: 393: 388: 383: 382:209.149.113.4 378: 377: 376: 372: 368: 367:209.149.113.4 363: 362: 361: 358: 355: 351: 347: 343: 340: 335: 330: 323: 322:209.149.113.4 318: 317: 316: 312: 308: 307:209.149.113.4 303: 302: 301: 298: 295: 291: 287: 284:If you don't 283: 279: 276: 271: 268: 264: 260: 256: 251: 247: 243: 239: 235: 231: 227: 222: 216: 215:209.149.113.4 211: 210: 209: 205: 201: 200:209.149.113.4 196: 195: 194: 193: 190: 187: 184: 180: 177: 173: 169: 165: 160: 155: 151: 148: 144: 140: 136: 130: 129:209.149.113.4 125: 124: 123: 122: 118: 114: 113:209.149.113.4 99: 96: 93: 91: 88: 86: 83: 80: 76: 74: 71: 69: 66: 63: 61: 58: 57: 49: 45: 41: 40: 35: 28: 27: 19: 1194: 1077: 1055: 1037: 1036: 1010: 1009: 1000: 999: 962: 923: 918: 901: 868: 862: 858: 857: 803:user:Kudpung 792: 788: 787: 728: 703: 697: 674: 666: 664: 633: 616: 603: 595: 591: 587: 583: 579: 573: 551: 482:just as hard 481: 470: 466: 462: 409: 404: 399: 395: 392:coin problem 349: 345: 338: 328: 289: 285: 266: 258: 254: 245: 237: 234:non-negative 233: 229: 225: 171: 163: 158: 153: 149: 138: 109: 78: 43: 37: 1175:Jasper Deng 1122:Jasper Deng 1011:Jasper Deng 963:Typhoon2013 949:Jasper Deng 940:Typhoon2013 924:Typhoon2013 880:Doug Weller 755:Jasper Deng 619:Jasper Deng 557:Jasper Deng 532:Jasper Deng 490:Jasper Deng 414:Jasper Deng 354:Jasper Deng 346:certificate 294:Jasper Deng 267:certificate 255:no solution 183:Jasper Deng 135:NP-complete 36:This is an 1230:Jason Rees 1165:Zackmann08 1145:Zackmann08 1120:infobox.-- 1103:Zackmann08 1082:Zackmann08 877:. Cheers, 861:Enjoy the 768:Jason Rees 748:Jason Rees 732:Jason Rees 689:topic bans 350:definition 286:understand 219:You again 98:Archive 30 90:Archive 26 85:Archive 25 79:Archive 24 73:Archive 23 68:Archive 22 60:Archive 20 875:Knowledge 685:site bans 636:Wyatt2049 463:countless 230:unbounded 1017:New Year 725:2016 PTS 552:a priori 400:multiple 352:of NP.-- 259:nonempty 164:rational 1137:Infobox 1117:WT:WPTC 1111:Infobox 1063:Tigraan 478:Sharp-P 471:without 39:archive 1178:(talk) 1125:(talk) 968:(talk) 952:(talk) 929:(talk) 758:(talk) 622:(talk) 560:(talk) 535:(talk) 493:(talk) 417:(talk) 357:(talk) 297:(talk) 186:(talk) 610:and K 598:be (S 576:there 387:2-SAT 250:ideal 154:false 143:3-SAT 16:< 1234:talk 1205:talk 1026:talk 884:talk 867:and 815:talk 805:for 772:talk 736:talk 714:talk 675:The 640:talk 630:LINK 612:down 586:and 515:talk 445:talk 410:must 405:also 371:talk 311:talk 226:from 204:talk 117:talk 1170:it. 947:.-- 807:NPR 329:any 290:ask 139:all 1236:) 1207:) 1156:) 1148:(/ 1140:}} 1134:{{ 1113:}} 1109:{{ 1093:) 1085:(/ 1060:. 1028:) 817:) 809:. 774:) 738:) 716:) 708:. 687:, 642:) 608:up 582:= 555:-- 517:) 447:) 396:no 373:) 313:) 263:NP 206:) 167:0. 150:is 119:) 94:→ 64:← 1232:( 1226:: 1222:@ 1219:) 1215:( 1203:( 1167:: 1163:@ 1105:: 1101:@ 1024:( 1013:, 1004:! 942:: 938:@ 813:( 801:( 770:( 750:: 746:@ 734:( 712:( 638:( 604:v 600:l 596:v 592:v 588:B 584:0 580:A 547:: 543:@ 528:: 524:@ 513:( 458:: 454:@ 443:( 384:: 380:@ 369:( 324:: 320:@ 309:( 246:Z 217:: 213:@ 202:( 159:Q 131:: 127:@ 115:( 50:.

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

Index