00:00:12 -!- wareya has quit (Read error: Connection reset by peer). 00:01:02 -!- wareya has joined. 00:02:01 quintopia: If you're desperate, kill init. 00:02:10 :P 00:02:25 I know what an isomorphism is. I think. 00:02:35 But that's as far as I got 00:02:42 (note: may cause kernel panic on a certain prevalent Unixoid) 00:03:28 Wait, my understanding seems a bit.. trivial. For a function to be an isomorphism (I'm sure function isn't the right word), it just has to avoid destroying information (and possibly creating, I'm not sure)? 00:05:24 What does it do on Unixoids that aren't that certain prevalent Unixoid? 00:06:39 Essentially, reboot. 00:06:49 (IIRC) 00:10:44 alt-sysrq-i kills init without crashing the kernel on Linux 00:10:55 admittedly, it makes it a bit hard to use your system after that 00:11:36 ais523: Yes, but that's not sending SIG_TERM, is it? 00:11:41 Or SIG_KILL. 00:12:11 it's "kill all processes", I'm not sure if it actually sends sigkill or not 00:19:49 -!- optbot has set topic: logs: http://tunes.org/~nef/logs/esoteric/?C=M;O=D and http://208.78.103.223/esoteric/ | wjat. 00:23:10 -!- ais523 has quit (Read error: Connection reset by peer). 00:44:18 I HAS KITTY 00:44:58 ニャア〜 00:48:56 Huh. In the UK, technically the Crown in Right of the UK actually owns all land, and everyone else leases. 00:49:57 Most such land holdings are made effectively eternal, can be passed on, sold, etc., only going back to the Crown in case of death with no heirs or will. 00:50:15 Still, huh. 00:50:44 What happens in the US in the same situation? 00:51:28 Also, response to my isomorphism question 00:51:29 ? 00:55:13 "Building on Kummer's work and using sophisticated computer studies, other mathematicians were able to prove the conjecture for all odd primes up to four million." 00:55:30 Uh.... that seems somewhat redundant 00:55:49 Depends on the state, it seems. 00:57:07 However, in *most* states, the state government will then become owner of the estate. 00:58:20 Stupid PDF reader 00:59:05 Some PDF I now have about category theory says that many of its examples willnot be useful to thoe not aquainted with undergraduate level real analysis and modern algbra 00:59:10 Hmm, what's "modern" algebra? 00:59:30 Sgeo: Partial differential equations. 00:59:48 I've... seen partial derivatives 00:59:48 Modern algebra, of course, deals with various abstract algebras. 01:00:10 (as opposed to the single elementary algebra you are no doubt familiar with) 01:02:12 I know a little about sets 01:03:58 I'm going to put this down for a long while, I think 01:04:29 BTW, you'd be having no problem with this if you were in a real CS program. 01:06:23 Khan Academy has a lot of stuff about linear algebra 01:09:25 Also has stuff on Differential Equations 01:09:49 -!- cheater00 has joined. 01:12:44 -!- cheater- has quit (Ping timeout: 248 seconds). 01:13:34 -!- pumpkin has joined. 01:17:20 -!- copumpkin has quit (Ping timeout: 264 seconds). 01:20:10 Solutions to differential equations are funtions or classes of functions, not numbers 01:20:15 zzz..... 01:21:10 * pikhq beats Sgeo with calculus 01:21:17 Well 01:21:21 Could be a constant function 01:21:53 Will this differential equation stuff get into material that's not intutive given a bit of thought? 01:22:13 Quickly. 01:22:55 Will there be trigonometry? I hate trig 01:27:09 The playlist is only about ordinary differential equations 01:36:03 -!- Mathnerd314 has joined. 01:41:10 Partial differential equations is where math started ignoring our safe word and things got a bit unpleasant. 01:41:15 For me anyway. 01:48:33 pff 01:53:37 pumpkin :| 01:53:43 yo! 01:53:46 sup? 01:53:53 lets ling! 01:54:09 really busy these days, which is why I haven't been on IRC much :) 01:54:11 sorry 01:54:11 k 01:54:16 a couple of days from now maybe? 01:54:17 chu up to? 01:54:19 big deadline on wednesday 01:54:20 sure sure 01:54:23 ahh 01:54:30 well, big work deadline and my gf was visiting for past week too 01:54:41 so no time to fart around at work and then wasn't on my computer much in the evenings :) 01:54:53 this is why i dont have a boyfriend 01:54:56 lol 01:55:00 i'd have no time for fun stuff 02:01:58 -!- wareya has quit (Quit: leaving). 02:22:54 I'll be damned. When I wasn't looking, link-time optimisation got usable. 02:24:10 GCC 4.6 (currently in development) has it non-buggy, and GNU ld 2.21.51 supports linker plugins for it to work without having to deal with a somewhat buggy linker. 02:24:19 -!- copumpkin has joined. 02:24:58 -!- pumpkin has quit (Read error: Operation timed out). 02:25:17 -!- wareya has joined. 02:25:26 This *also* means that building with clang or gcc-llvm will have LTO work much better. 02:26:44 Why would anyone use GHC under Wine? 02:26:52 Wanting to compile Windows Haskell programs? 02:27:24 I do believe that is the use-case desired, yes. 02:31:27 -!- Zuu has quit (Ping timeout: 260 seconds). 03:11:40 -!- poiuy_qwert has joined. 03:45:11 -!- atrapado has quit (Quit: Abandonando). 03:59:01 ... 03:59:25 Dear Khan Academy: When I click on Excersizes, could you please not assume that everyone is at the Addition 1 level? 03:59:42 What, too hard for you? :P 04:00:43 there's a natural law 04:00:51 that states that educational websites have to be stupid 04:01:00 universities are a prime example 04:01:32 their computer support staff probably gets bonuses depending on who comes up with the stupidest design idea for the uni website 04:02:05 I'm convinced that universities hire their dropouts to do websites. 04:02:59 fun thing at my uni - most departments' websites are easiest to find through a link chain going like main page->faculties->departments-> 04:03:08 then you go ->courses 04:03:22 and you end back at the bottom of a ->faculties->departments thingy *again* 04:03:52 of course you should be clever enough to remember the url to the bottom of that last hierarchy, but ... 04:04:06 it happens that I would want to open that when I'm at a computer where my bookmarks are not present 04:04:37 there's a bunch of other similar doubled hierarchies in some other places (but none of those are universally broken - some parts of the portal get that right) 04:05:49 -!- pingveno has quit (Ping timeout: 276 seconds). 04:07:08 -!- pingveno has joined. 04:10:22 -!- copumpkin has quit (Ping timeout: 276 seconds). 04:30:55 -!- copumpkin has joined. 04:31:06 -!- pikhq_ has joined. 04:31:33 -!- pikhq has quit (Ping timeout: 260 seconds). 04:41:18 How exactly does terminfo work anyways. 04:42:57 I really don't feel like cleaning up dog vomit right now. 04:55:56 -!- p_q has joined. 04:56:17 -!- sftp has quit (Remote host closed the connection). 04:58:31 -!- poiuy_qwert has quit (Ping timeout: 246 seconds). 05:07:45 -!- augur has quit (Remote host closed the connection). 05:14:21 -!- poiuy_qwert has joined. 05:16:44 -!- p_q has quit (Ping timeout: 250 seconds). 05:21:04 -!- pikhq_ has quit (Ping timeout: 250 seconds). 05:21:16 -!- pikhq has joined. 05:21:48 -!- asiekierka has joined. 05:22:52 -!- Mathnerd314 has quit (Ping timeout: 260 seconds). 05:32:49 -!- oerjan has joined. 05:34:23 -!- augur has joined. 05:42:08 19:20:08 it stands for oerjan's punnes terribales 05:42:09 19:20:13 it's french you uncultured fuck 05:42:22 i'm pretty sure there should be no a in the second word 05:42:49 also, NEEDS MORE MANGLED LANGUAGE EXPANSIONS 05:42:52 *MOAR 05:43:34 *except for the plentiful puns involving cannibals. 05:46:44 oklopol, quick, publish something trivial with him. 05:46:49 DON'T YOU DARE 05:47:05 IF YOUR ERDOS NUMBER BECOMES LESS THAN MINE WE SHALL BECOME BITTER ENEMIES 05:49:46 -!- asiekierka has quit (Ping timeout: 276 seconds). 05:52:58 *ERDŐS 05:55:06 -!- pikhq has quit (Remote host closed the connection). 05:55:14 -!- jcp has quit (Quit: Later). 06:00:29 -!- pikhq has joined. 06:01:27 -!- kwertii has joined. 06:01:28 im thinking of putting up some puzzles on my website 06:01:47 sort of mathematical sort of 06:02:34 * pikhq resurrects Erdős 06:02:37 MUAHAHAHA 06:02:54 some of my profs have relatively small erdos numbers 06:03:07 pikhq: crap, give me a few years to start doing original research, ok 06:03:33 coppro: I intend to write a paper with him on the process of resurrection. 06:03:50 genius 06:03:52 His input as the first person to have been resurrected by technology will, no doubt, be quite helpful. 06:04:04 ooh, I know 06:04:05 chomsky has an erdos number of 4, so lasnik has an erdos number of 5 06:04:06 pikhq: what if he is resurrected by theology instead! 06:04:09 lasnik is one of my profs 06:04:31 Zwaarddijk: Then Erdős would be the Second Coming of the Christ. 06:04:41 I have met someone whose wife is a 2 06:05:04 coppro: wow 06:05:36 pikhq: Erdös is of Jewish decent, so ... I guess we need to bring out our lulav and esrog and all that jazz and go sing hosiannah son of david at his grave? 06:05:47 Zwaarddijk: So's Jesus. 06:05:53 pikhq: that's my point. 06:06:09 who knows with those guys, every second one turns out to be a messiah :| 06:06:13 Man, the Erdős numbering is going to get absurd if it keeps up for a few generations. Imagine one's Erdős number being limited by the *generations it's been* since Erdős lived. 06:06:32 pikhq: precisely why I need to minimize my own 06:06:33 erdös numbers should be generalized 06:06:39 pikhq: im sure one could generalize it to factor that out 06:06:40 so you can sum up all the paths by which you get one 06:06:45 s/erdös/Erdős/ 06:06:51 by some function 06:06:58 ö ≠ ő 06:07:02 where people end up getting erdös numbers less than one 06:07:03 so that you have a generational erdos number dependent on the minimum overlap of some sort 06:07:11 Zwaarddijk: No, seriously, ö ≠ ő 06:07:29 so that the earliest you could reasonably have coauthored with someone with an erdos number would make that number relatively 0 06:07:33 Zwaarddijk: using flows, perhaps 06:07:36 nah what we need is just another obsessed drug-addicted math genius to overshadow erdős 06:07:38 for the minimum of such numbers 06:07:53 oerjan: i can try to be the first two 06:07:55 oerjan: Shame that those don't come often. 06:07:58 and the last one 06:08:03 but not the second to last one :( 06:08:06 A genuine shame. 06:08:27 learning universal algebra and category theory are hard enough 06:08:34 Zwaarddijk: it every branching the value splits evenly among the branches and every new node it increases by 1. your number is the minimum over all paths. 06:08:55 -!- jcp has joined. 06:09:00 so you can sum up all the paths by which you get one <-- wouldn't that be more appropriate for a Feynman number 06:10:00 quintopia: is that the feynmanian interpretation of erdos numbers? :x 06:10:12 also you'd want to add some complex phase factor 06:10:18 i assumed that erdos was more prolific than feynman 06:10:29 well yes 06:10:36 i was making reference to feynmans interpretation of quantum mechanics 06:10:40 so the branching has more effect there 06:10:43 so was oerjan 06:10:53 yes 06:10:59 i was replying to oerjan 06:11:02 you were completely correct 06:11:03 ok 06:12:17 "Note that Feynman has an Erdös Number of 3." 06:17:24 oerjan: interesting! 06:17:34 so lasnik has a minimum feynman number of 8! 06:17:39 my example of a way of allowing branching to occur does not let you get numbers less than 1 though if people are nodes, unless you allow per-paper multi-edges 06:18:22 i almost got an erdos number once >.> 06:18:33 well 06:18:34 augur: i don't think it's cool to calculate feynman numbers in the exact same way as erdős numbers except for starting with feynman, though 06:18:35 you do have one 06:18:37 namely, infinite 06:18:46 oerjan: it is for me! 06:18:46 infinity is not a number 06:18:52 quintopia: yes it is 06:19:03 only in the extended reals 06:19:19 but erdos numbers are integers 06:19:27 every number person should have their own, curiously relevant rule for it 06:19:38 -!- optbot has set topic: logs: http://tunes.org/~nef/logs/esoteric/?C=M;O=D and http://208.78.103.223/esoteric/ | ais523, err, how could you know the seed. 06:19:39 quintopia: extended naturals* 06:19:55 augur: there is no reason to assume those 06:19:59 * oerjan suddenly cannot help considering the number associated to a porn star 06:20:02 my number would have been 3 06:20:03 tough shit 06:20:03 Eight factorial is an astounding lower bound. 06:20:04 people do 06:20:08 but the papers never went anywhere 06:20:11 and i gave up 06:20:20 i think you should find the kind of rule used there obvious... 06:20:22 Erm, upper bound. 06:20:57 quintopia: from wikipedia: "A person with no such coauthorship chain connecting to Erdős has an Erdős number of infinity (or an undefined one)." 06:21:21 quintopia: "Easy" way to get a low Erdős number: prove some conjecture. Thereby be guaranteed a well-known math career. Viola. 06:21:42 pikhq: cello 06:21:49 i think the "undefined" interpretation would be simpler. it allows you to say "i don't have one" which is more straightforward than "mine is infinity" 06:22:04 quintopia: well im an ass. 06:22:45 pikhq: but i gave up on a math career 06:23:01 who has two thumbs and will never prove the UGC? 06:23:26 UGC? 06:23:31 darn acronyms 06:24:55 It's a shame that all the easy proofs have been done already. :P 06:25:08 pikhq: not in all fields, though 06:25:21 ides of march it is 06:25:33 you just need to come up with a good new field that sounds reasonably useful, and prove some trivial shit in it 06:25:59 I'll be. 'Tis the ides of March. 06:26:06 Zwaarddijk, if anything such a field is even harder 06:26:14 I mean to come up with 06:28:23 If ye be Caeser, beware! 06:28:41 actually i was trying to find a way to learn an intersection of 2 half-spaces in polynomial time 06:29:01 * oerjan stabs Vorpal =|==/ 06:29:20 it's one of those problems that's trivial in low dimension, and ridiculously hard in n dimensions 06:29:43 oerjan, what is that supposed to be? 06:29:46 and why 06:29:59 it was a shank 06:30:13 It is a knife you see before you 06:30:26 and there was no good reason for it 06:30:45 sorry, *dagger 06:31:03 there was a perfectly good reason, 06:31:03 oerjan, why is it made of rubber? 06:31:11 'Tis the Ides of March! 06:31:17 you stole it from a theatre right? 06:31:21 darn it 06:31:34 but but... it worked in hamlet! 06:31:44 hah 06:32:23 oerjan: Fail. 06:32:30 Vorpal is not caesar! 06:32:51 oerjan: The play you're referencing is "The Tragedy of Julius Caesar". 06:32:57 january february march april may june vorpal inane september... 06:33:02 also "Ides of March"+ 06:33:05 what is that 06:33:14 Vorpal: March 15th is the Ides of March. 06:33:15 today 06:33:24 meaning? 06:33:40 Id. Mar.=Mar. 15=Id. Mar. 06:33:41 pikhq: no no i mean using a theatre dagger worked in hamlet 06:33:45 there is nothing more to it than that 06:33:50 -_- 06:33:54 bbl university 06:33:55 iirc 06:34:21 Vorpal: Meaning you need to watch some Shakespeare, man. 06:34:31 oerjan: iirc the most dramatic deaths there involved poison: poison in the ear, in the drink, on the tip of the foil 06:34:40 well you don't need to watch it, just absorb some memes like i 06:35:08 Shakespeare is genuinely enjoyable when performed, though. It's just insanely boring when read. 06:35:13 then mangle them horribly 06:35:19 And it boggles the mind that English classes actually freaking read them. 06:35:31 Reading scripts to plays. 06:35:39 i took a class on shakespeare 06:35:57 part of the class requirements were to go see like 3 different live performances 06:36:04 quintopia: Good work. 06:36:13 but this class happened in england, so it wasn't hard to find live performances 06:36:25 Yeah, it'd be pretty hard to find that in the US. 06:36:37 i saw pericles, as you like it, and ... something else 06:37:01 It's not like you're at most a couple hundred miles from Stratford upon Avon here. 06:37:03 there is nothing more to it than that <-- well there is, the roman way of numbering dates was weird 06:37:09 i also went to see a performance of romeo and juliet live in atlanta for one of my classes in high school or middle school... 06:37:16 we have a shakespeare tavern here 06:37:30 they do matinees for kiddies on field trips 06:37:41 and then they bring out the booze and do the adult versions :P 06:37:57 they counted the number of days until the _next_ calendae, ides, and i think one more 06:38:03 which isn't to say the kiddie versions weren't as raunchy as shakespeare is by its very nature 06:38:25 (inclusive counting, so the day before was the second iirc) 06:38:40 Aaah, Shakespeare. Highest ratio of dick jokes to content of any bit of 'high culture'. :P 06:38:59 shakespeare? high culture? HA 06:39:00 pikhq: surely that was his true genius :D 06:39:09 quintopia: Thus the scare quotes. 06:39:10 maybe hamlet was reasonably high up there 06:39:36 but i really think that people thinking shakespeare is haute couture is the strangest thing 06:39:49 Yeah, it's just several hundred year old reasonably well-written popular entertainment. 06:39:55 "It must be fancy because they talk all antiquarian!" 06:40:33 But, then, a lot of what is perceived as "high culture" these days is really just old popular entertainment. 06:40:35 SOME of them are well-written. some of them suck. shakespeare did, by himself, the entire spectrum of modern movies. 06:42:09 those darn aquarian speakers 06:42:10 (see: most things that are both old entertainment and enjoyable) 06:43:10 -!- EgoBot has quit (Ping timeout: 240 seconds). 06:43:15 hamlet = big fish, titus andronicus = 2012, romeo and juliet = high school musical, twelfth night = freaky friday, etc. 06:44:22 -!- HackEgo has quit (Ping timeout: 240 seconds). 06:44:29 Romeo and Juliet gets so very misinterpreted, though. 06:44:41 I don't know why, but people are convinced it's this nice, romantic tale. 06:45:06 It's a tale of two idiots offing themselves for stupid reasons. 06:46:37 And few other plays get that treatment, because people are hardly aware of the premises. 06:48:50 http://tvtropes.org/pmwiki/pmwiki.php/Main/AnalogyBackfire 06:49:10 Dammit, now I'm even less likely to sleep. 06:49:11 :P 06:49:45 *MWAHAHAHA* 06:50:19 -!- Gregor has quit (Ping timeout: 260 seconds). 06:50:34 in another channel i'm in there is a macro bot. one of the macros is to answer any link to tvtropes with "Don't do it! No one's ever come back alive!" 06:59:19 -!- HackEgo has joined. 07:00:59 http://www.wellnowwhat.net/puzzles/ 07:01:01 for anyone interested 07:02:01 -!- kwertii has quit (Quit: bye). 07:03:07 ask me questions (including requests for more data points, or rational simplifications) 07:05:01 or for some correlative coding 07:07:31 no, no correlative coding, sorry :) 07:08:49 -!- HackEgo has quit (Ping timeout: 248 seconds). 07:21:09 -!- pikhq_ has joined. 07:21:13 -!- pikhq has quit (Ping timeout: 255 seconds). 07:28:30 -!- azaq23 has joined. 07:31:24 -!- comex has quit (Ping timeout: 246 seconds). 07:33:11 -!- comex has joined. 07:33:29 -!- rodgort has quit (Ping timeout: 246 seconds). 07:38:28 -!- FireFly has joined. 07:39:27 augur: where is the answer supposed to be submitted? 07:42:15 -!- rodgort has joined. 07:55:52 -!- pikhq_ has quit (Ping timeout: 252 seconds). 07:55:58 -!- pikhq has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:03:55 quintopia: to me here, if you like 08:03:59 or email it to me, or something 08:04:05 oh 08:04:14 well i have no idea what it's supposed to mean 08:04:27 its not really supposed to be submitted tho. its just to get you to think 08:04:28 i hate puzzles with no english words 08:04:35 there _is_ something going on in these 08:04:49 THIS IS 2011 YOU MUST HAVE AUTOMATICAL JUDGING WITH HIGH SCORES 08:04:53 i will answer questions, if you like 08:04:53 if it said something like "find a function to generate this sequence" 08:05:08 that kind of thing 08:05:21 oerjan: i was actually considering something like that, but not for judging, for generating graphs 08:05:36 quintopia: if you want to do that, go ahead! 08:05:50 ill tell you this tho, its not a sequence 08:06:20 oerjan: like theconfoundry.com. automatical/crowd-sourced judging and high scores! and some of the puzzles are actually p okay. by which i mean, the ones that i post are p okay. 08:06:49 theres no real answer to these puzzles tho 08:06:57 to be sure, theres what i did to produce these things 08:07:03 augur: so then it's a set? an infinite set? 08:07:11 an infinite set. 08:07:51 then an english language question would be "what is the underlying structure that all these things have in common?" 08:07:54 i will a) answer questions, b) provide more data points 08:08:04 quintopia: it could be, indeed 08:08:32 valid questions are things like, are there subsets that have common properties, etc. 08:08:41 if so, what subsets, etc. 08:09:49 it has to be a question that involves expanding or restricting the data points in rational ways 08:10:18 question: is it more useful to think of these things as (disconnected) digraphs? or as small sets of separate digraphs that are only tangentially and quantitatively related? 08:10:42 oh 08:10:45 okay 08:10:49 each image (separated by dotted lines) is a single digraph 08:11:30 also, if you ask for some sort of natural reorganization of some fashion, i will also provide this 08:11:39 what is an example of a property which restricts the set of all digraphs to exactly the digraphs in your set? :P 08:11:54 ;P 08:12:21 * quintopia goes to bed 08:14:57 oerjan: no ideas? no questions? :) 08:17:51 well i wasn't going to say, but it immediately puts me off by analogy with the kind of iq tests i find annoying. 08:18:46 well 08:18:49 here theres no real answer 08:19:00 so 08:19:23 i mean, the only answer is to understand it sufficiently that you're happy with your understanding! 08:19:33 ...these iq tests are annoying because they feel like there is no real answer, but you have to guess what the test maker was actually thinking of 08:19:39 :x 08:19:49 well, in that sense then yeah, i suppose. 08:20:07 i can give you hints if you want. you just have to ask the right questions! :) 08:20:22 this aspect of the game is also intentional 08:20:37 i may not be managing to get through the point that i'm not actually interested. 08:20:39 and informative. 08:20:47 well you SHOULD be interested! 08:21:40 i have this nice book about intuition, it gives the excellent advice to ignore ideas using the verb "should" 08:21:53 well you MUST be interested! 08:21:59 *MWAHAHAHA* 08:23:17 -!- Sgeo has quit (Ping timeout: 255 seconds). 08:25:36 " chomsky has an erdos number of 4, so lasnik has an erdos number of 5" <<< i couldn't find a prof with more than 3 in our uni, but i suppose it's slightly easier for mathematicians :P 08:25:44 (also i didn't try very hard) 08:25:46 ;) 08:25:53 oklopol: check out my puzzles! 08:30:47 but no one had a 1 which was kinda disappointing :( 08:30:49 i did 08:30:50 idgi 08:31:20 oklopol: well? 08:31:23 no questions? :( 08:31:28 that's exactly the kind of thing i don't like doing, i want an exact problem where i know exactly what to do 08:31:30 :\ 08:31:40 oklopol: explain it. 08:31:44 explain whats going on. 08:31:59 or at least i want to get that illusion, of course problem solving is always about not knowing what you're supposed to do, but i need some sort of nice framework 08:32:13 augur: is the sequence ordered? 08:32:18 no. 08:32:21 well. 08:32:25 depends on what you mean. 08:32:52 is P_2 the first graph, P_2 \cup C_4 \cup C_4 the second one, etc 08:33:01 erm 08:33:11 except the second one was P_2 \cup C_4 i guess 08:33:18 what 08:33:40 P_2 is ({u, v}, {{u, v}}) 08:33:44 C_4 is the cycle of four 08:34:02 if you don't get my notation 08:34:05 ah well, obviously thats true, but 08:34:38 (i have to go to uni pretty soon) 08:34:42 i mean, the items are graphs, obviously 08:34:59 yeah but i'm asking if this is a sequence of graphs or a set of graphs 08:35:02 what information is relevant 08:35:08 they're presented in no particular order 08:35:34 they are a random subset of a set of graphs? 08:35:39 no 08:35:53 but the subset of small graphs in that set? 08:35:58 -!- Sgeo has joined. 08:36:10 what? 08:36:30 i'm asking if there exists a set of graphs S such that the graphs is see are a finite subset of S 08:36:51 or perhaps the set of all graphs of S up to some size k with respect to some definition of size 08:37:10 oh, yes, there is _some_ infinite set of graphs S of which this is a subset 08:37:31 namely, a small number that i bothered to create in 20 minutes. 08:37:46 okay, good 08:39:05 one thing i immediately started wondering about was a connection between C_4 and P_2: both are in face C_4 if you allow repetition of vertices, but you can't get say a triangle this way 08:39:21 *fact 08:39:28 erm 08:39:36 what the fuck am i saying? 08:39:43 that's not true! 08:41:01 but, C_4 is the complement of the graph P_2 \cup P_2 08:41:18 and parities add up as well 08:42:24 so i guess my answer is: C_4 08:42:25 eroij 08:42:32 C_4's + complementation 08:43:31 ive added some commentary btw. 08:43:35 Sgeo: join the fun! 08:43:40 http://www.wellnowwhat.net/puzzles/ 08:44:40 oh umm they are digraphs, sorry my crt is kinda sucky :D 08:44:58 augur: are there any subgraphs of those given which are in the set but not themselves given? 08:45:23 in that case complementation doesn't work, so i'll go with my original answer: C_4 but repetition of vertices is allowed, that does work now now that i think about it 08:45:42 no 08:45:48 ah. 08:46:20 augur: or wait, who were you answering 08:46:40 you, obviously 08:46:57 ...not obvious. 08:47:02 your mom is tho 08:47:13 dead people usually are. 08:47:20 oerjan: you 08:47:37 ^ see, it was true and i claimed it was obvious, therefore i'm really smart 08:47:53 O KAY 08:48:38 do all graphs in the set have 4n vertices and an even number of edges 08:48:39 subgraphs not being in the set makes the problem much more interesting, because now i can verify my hypotheses myself 08:48:49 oklopol: indeed 08:49:31 oerjan: oh you realized that too, was it before or after you asked augur this for that exact reason? 08:49:38 basically without that information, the set given did not strictly imply _anything_ 08:49:40