2012-02-19T01:28:33 *** treeform has joined #aichallenge 2012-02-19T01:39:01 *** treeform has quit IRC (Remote host closed the connection) 2012-02-19T01:47:42 *** amstan has quit IRC (Ping timeout: 240 seconds) 2012-02-19T01:56:27 *** Israfel has quit IRC (Quit: Bye!) 2012-02-19T02:34:56 *** thestinger has quit IRC (Quit: sleep) 2012-02-19T02:46:58 *** UncleVasya has joined #aichallenge 2012-02-19T03:01:59 *** loglog has joined #aichallenge 2012-02-19T03:55:15 *** foRei has joined #aichallenge 2012-02-19T05:07:58 *** Jak_o_Shadows has joined #aichallenge 2012-02-19T05:10:19 *** Jak_o_Shadows1 has quit IRC (Ping timeout: 245 seconds) 2012-02-19T05:11:46 *** Fandekasp has quit IRC (Ping timeout: 240 seconds) 2012-02-19T05:20:31 *** mcstar has joined #aichallenge 2012-02-19T05:30:08 *** choas has joined #aichallenge 2012-02-19T05:45:14 *** Palmik has joined #aichallenge 2012-02-19T06:08:17 *** Jak_o_Shadows1 has joined #aichallenge 2012-02-19T06:08:21 *** Jak_o_Shadows1 has joined #aichallenge 2012-02-19T06:08:22 *** Jak_o_Shadows has quit IRC (Disconnected by services) 2012-02-19T06:16:52 *** epicmonkey has joined #aichallenge 2012-02-19T06:31:47 *** delt0r_ has quit IRC (Ping timeout: 245 seconds) 2012-02-19T06:36:07 *** Jak_o_Shadows1 has quit IRC (Remote host closed the connection) 2012-02-19T06:44:02 *** delt0r_ has joined #aichallenge 2012-02-19T06:59:20 damn i hate looking for counterexamples 2012-02-19T07:01:13 the easiest of disproofs 2012-02-19T07:01:42 just set up a program to search the problem space 2012-02-19T07:02:01 or.. 2012-02-19T07:02:07 use your intuition 2012-02-19T07:11:20 i have a program to make the games 2012-02-19T07:11:47 i haven't made one to run through all combinations, there's lots and it means writing algorithms to check symmetry conditions which is hard 2012-02-19T07:12:47 *** choas has quit IRC (Ping timeout: 240 seconds) 2012-02-19T07:12:48 i'm looking for a game which has a player n-transitive automorphism group, a player transitive (but not a player n-transitive) and strategy trivial subgroup of the automorphisms and no pure strategy nash equilibria :P 2012-02-19T07:13:36 thats a lot of requirements 2012-02-19T07:13:54 i guess you know about GAP 2012-02-19T07:14:08 GAP? 2012-02-19T07:14:14 it is a lot of requirements 2012-02-19T07:14:23 i'm basically trying to show a theorem can't be generalised 2012-02-19T07:14:46 there's a very small class of games there which i haven't been able to show they don't extend to (yet) by example 2012-02-19T07:14:58 gap is an advanced opensource program dealing with finite groups 2012-02-19T07:15:01 afaik 2012-02-19T07:15:20 it is part of sage 2012-02-19T07:15:30 or you can use just by itself 2012-02-19T07:15:46 anyway, i dont want to feed you disinformation, so see for yourself, it could help 2012-02-19T07:15:50 i doubt it'd be much help 2012-02-19T07:15:56 my game theory library is good for this stuff 2012-02-19T07:16:01 hence why i wrote it 2012-02-19T07:16:03 haha 2012-02-19T07:16:16 i dont doubt that its good 2012-02-19T07:16:25 but i think gap is waay better 2012-02-19T07:16:29 :) 2012-02-19T07:16:32 not for games 2012-02-19T07:16:45 ok, i just wanted to let you know 2012-02-19T07:16:46 i give it some game bijections in a text file and it generates a symmetric game for me 2012-02-19T07:16:51 cheers :) 2012-02-19T07:20:16 Do not let this guy pick a game for the next contest! :D 2012-02-19T07:20:48 *** juuso_ has quit IRC (Ping timeout: 244 seconds) 2012-02-19T07:22:56 XD 2012-02-19T07:23:18 *** juuso_ has joined #aichallenge 2012-02-19T07:28:34 i know of only one example meeting the starting qualifications 2012-02-19T07:28:53 and it has a pure strategy nash equilibria no matter how i assign the ordinal preferences to the pure strategy profiles :( 2012-02-19T07:29:41 UncleVasya: don't trust me to make it as abstract as possible? :P 2012-02-19T07:31:49 I think your game will be very interesting... for computer to play. But not for humans to watch. 2012-02-19T07:32:09 this wouldn't be that interesting for bots to play 2012-02-19T07:32:18 they're fairly simple finite matrix games 2012-02-19T07:32:19 mathematicians aren't humans :p 2012-02-19T07:32:38 i'm more interested in the structure of symmetric games in general 2012-02-19T07:32:54 ie. how fair is a given symmetric game 2012-02-19T07:33:41 it took me months to even find that example i mentioned above :| 2012-02-19T07:33:49 having to possibly find yet another is a daunting task 2012-02-19T07:33:55 I remember McLeopold posted here a link to an article about program that make games. 2012-02-19T07:34:36 *** monstaokki has joined #aichallenge 2012-02-19T07:34:37 http://pastebin.com/X9zGf3aV 2012-02-19T07:34:37 that 2012-02-19T07:34:47 *** monstaokki has left #aichallenge 2012-02-19T07:38:17 antimatroid: dont you have some tensor to multiply this game with, that preserves the requirements? like some similarity transform, but for your game? 2012-02-19T07:38:28 so it would generate other games? 2012-02-19T07:38:33 (maybe not all of them) 2012-02-19T07:38:37 i don't understand what you mean? 2012-02-19T07:38:53 you mean swap the numbers? 2012-02-19T07:39:07 no 2012-02-19T07:39:24 im not sure what the structure of the tensor is 2012-02-19T07:39:48 let me define a game for you so it makes more sense 2012-02-19T07:40:36 you have a set of at least two players N, for each player i you have a set of strategies A_i and a utility function u_i:A->reals where A = cartesian product of A_i's = strategy profiles of the game 2012-02-19T07:40:59 then the elements of the "tensor" or table correspond to strategy profiles 2012-02-19T07:41:10 and each player has a utility value for each strategy profile 2012-02-19T07:41:46 so first cell is (a, c, e) and players all get payoff 1 2012-02-19T07:42:37 i actually hoped that game didn't exist 2012-02-19T07:43:14 as i wanted "if the automorphism group is player n-transitive and there exists a player transitive and strategy trivial symmetry group then there exists a player n-transitive and strategy trivial symmetry group" but that game breaks it 2012-02-19T07:44:08 then there's a theorem saying every game where all players have 2 strategies and there's a player n-transitive and strategy trivial symmetry group then there exists a pure strategy nash equilibrium 2012-02-19T07:44:41 so that tensor represents the utilities of a 3 player, 2 strategy/player game 2012-02-19T07:44:48 yep 2012-02-19T07:45:01 row player is 1, col player is 2 and "matrix/page" player is 3 2012-02-19T07:45:18 imo it should be row = n-1, col = n etc. but whatever 2012-02-19T07:45:22 yep, the a,b,c,d... i s alittle confusing 2012-02-19T07:45:42 sorry, A_1 = {a, b}, A_2 = {c, d}, A_3 = {e, f} 2012-02-19T07:46:03 it's easier when working with game bijections if the players strategy sets are distinct 2012-02-19T07:46:15 as in it's easier to follow what's mapping where 2012-02-19T07:46:30 i see 2012-02-19T07:47:16 ie. when you go to find (a, c, e), you look for 'a' first which should be the matrix, then index the row of the matrix with c and then the column with e 2012-02-19T07:47:36 also, when writing out the cartesian product you usually increment the last possible element in the tuple first 2012-02-19T07:47:57 so when storing in a 1d vector you would go through the matrices in logical order 2012-02-19T07:48:01 rather than jumping all over the place 2012-02-19T07:48:17 so in my pedantic opinion the entire game theory community writes n>2 player games out wrong :P 2012-02-19T07:49:12 so transitivityimplies that in every 2 indices, the tensor is simmetruc right? 2012-02-19T07:49:34 defining all those terms is not easy :P 2012-02-19T07:49:50 you need the notion of a game bijection 2012-02-19T07:50:52 a subgroup H of the game bijections is transitive if for all players i,j there exists a bijection in H st it maps player i to j 2012-02-19T07:51:14 it's player n-transitive if for all player permutations there exists a bijection in H which maps players according to it 2012-02-19T07:51:37 game bijections also give a way of mapping between mapped players strategy sets, and that induces a way of mapping between strategy profiles 2012-02-19T07:51:43 *** juuso_ has quit IRC (Remote host closed the connection) 2012-02-19T07:51:57 *** juuso_ has joined #aichallenge 2012-02-19T07:52:30 what is the most general game bijection? 2012-02-19T07:52:36 some permutation group? 2012-02-19T07:53:27 consider the identity game bijection, you have p:N->N st p(i) = i for all i, and t_i:A_i->A_i st t_i(a) = a for all a \in A_i 2012-02-19T07:54:01 any game bijection is just a bijection p:N->N and for all i \in N a bijection t_i:A_i->A_{p(i)} 2012-02-19T07:54:12 defining notation to map strategies is incredibly gross 2012-02-19T07:54:56 you have like g.s_i = t_{p^{-1}(i)}(s_{p^{-1}(i)}) 2012-02-19T07:55:17 don't even get me started on composition and inverses of bijections :P 2012-02-19T07:55:32 but games and game bijections form a groupoid as one would hope 2012-02-19T07:56:36 well, a bijection can be represented by a tensor product, right? 2012-02-19T07:56:54 i have the barest understanding of what tensor products are 2012-02-19T07:57:15 i dunno if i have a module though 2012-02-19T07:57:19 which would be needed yeah? 2012-02-19T07:57:23 possibly even a vector space 2012-02-19T07:58:30 (i know i should know about tensor products, it's very far up on the to learn properly soon list) 2012-02-19T07:58:47 i dont think you need that for permutation matrices 2012-02-19T07:59:00 (or tensors) 2012-02-19T07:59:26 hmm okay 2012-02-19T07:59:33 i'll learn that stuff in the next few months 2012-02-19T07:59:39 i'm going to need to for phd stuff anyway 2012-02-19T08:00:01 trying to also iron out this game theory stuff to publish a paper 2012-02-19T08:00:04 do you have you thesis somewhere online? 2012-02-19T08:00:12 r 2012-02-19T08:00:20 i almost find that embarrasing now but yeah i think hang on 2012-02-19T08:01:02 https://docs.google.com/viewer?a=v&pid=explorer&chrome=true&srcid=0B5joEFt1EpwZZTg1OGM3MDYtMThmNC00NWNhLTgwM2QtYTU3MmEzOTBjNmZh 2012-02-19T08:01:41 i didn't do the cardinal utility stuff properly 2012-02-19T08:01:45 but it has the right idea 2012-02-19T08:02:38 i've thrown the "fully" symmetric classification from that out too 2012-02-19T08:03:00 i cant see that 2012-02-19T08:03:56 ok 2012-02-19T08:04:05 but why did i need to log in? 2012-02-19T08:04:48 dunno? 2012-02-19T08:04:51 blame google? :P 2012-02-19T08:06:34 so you have some own results in there? 2012-02-19T08:07:07 only fairly trivial ones to do with symmetric games 2012-02-19T08:07:19 the paper will just be on those 2012-02-19T08:07:34 and it's more giving a nice overall coverage 2012-02-19T08:07:46 i also point out an incorrect classification which i see people use a lot (including wikipedia :P) 2012-02-19T08:07:52 are you going to share credit with your advisor? 2012-02-19T08:08:05 well, technically hte games are symmetric that meet the definition, but they obviously got it wrong 2012-02-19T08:08:13 i don't think so, but i will ask his opinion on that 2012-02-19T08:08:19 i realise that's a bit weird, but i don' 2012-02-19T08:08:24 t think he actually has any authorship 2012-02-19T08:08:29 and i suspect he'll agree 2012-02-19T08:08:54 if he thinks he should i honestly don't care 2012-02-19T08:09:33 ill read some chapter headings, to actually have a feeling of what you are doing, but not now, i have others thing sto do 2012-02-19T08:09:56 i haven't seen matchings as i define them used before too 2012-02-19T08:10:20 which i show as an equivalent (and perhaps more useful) way of defining standard symmetric games than how this other guy did 2012-02-19T08:10:58 i formalised some of my "conversation" about them with what i'm writing up for the paper 2012-02-19T08:16:49 *** Harpyon has joined #aichallenge 2012-02-19T08:33:08 *** sevikkk has quit IRC (Quit: Leaving.) 2012-02-19T08:35:55 *** sevikkk has joined #aichallenge 2012-02-19T08:41:01 *** kurnevsky has joined #aichallenge 2012-02-19T08:45:37 *** mceier has joined #aichallenge 2012-02-19T08:55:12 *** kire has joined #aichallenge 2012-02-19T08:58:03 i want to rename by game bijections but what to? 2012-02-19T08:58:41 it's really a bijection g:NxA->NxA where N is the set of players and A is the set of strategy profiles 2012-02-19T09:17:28 *** choas has joined #aichallenge 2012-02-19T09:22:39 *** sigh has quit IRC (Remote host closed the connection) 2012-02-19T09:24:44 *** jmcarthur has quit IRC (Ping timeout: 240 seconds) 2012-02-19T09:26:11 *** jmcarthur has joined #aichallenge 2012-02-19T09:29:47 *** iglo has joined #aichallenge 2012-02-19T09:35:30 *** Th3_4rtis4n has joined #aichallenge 2012-02-19T09:36:48 *** kilae has joined #aichallenge 2012-02-19T09:37:43 *** epicmonkey has quit IRC (Read error: Operation timed out) 2012-02-19T09:41:31 *** Palmik has quit IRC (Remote host closed the connection) 2012-02-19T10:00:13 *** UncleVasya has quit IRC () 2012-02-19T10:09:51 *** Th3_4rtis4n has left #aichallenge ("Leaving") 2012-02-19T10:25:17 *** Palmik has joined #aichallenge 2012-02-19T10:36:21 *** Palmik has quit IRC (Remote host closed the connection) 2012-02-19T10:45:38 *** Palmik has joined #aichallenge 2012-02-19T10:47:09 *** antimatroidl has quit IRC (Quit: Leaving.) 2012-02-19T11:10:04 *** mcstar has quit IRC (Quit: mcstar) 2012-02-19T11:36:03 *** epicmonkey has joined #aichallenge 2012-02-19T11:57:48 *** X-Scale has joined #aichallenge 2012-02-19T12:29:12 *** thestinger has joined #aichallenge 2012-02-19T12:36:12 *** X-Scale has quit IRC (Ping timeout: 272 seconds) 2012-02-19T12:39:33 *** X-Scale` has joined #aichallenge 2012-02-19T12:44:48 *** choas has quit IRC (Ping timeout: 248 seconds) 2012-02-19T13:21:57 *** coeus has joined #aichallenge 2012-02-19T13:35:50 *** X-Scale` is now known as X-Scale 2012-02-19T13:39:05 *** hara has joined #aichallenge 2012-02-19T13:47:25 *** hara has quit IRC (Ping timeout: 260 seconds) 2012-02-19T13:47:54 *** hara has joined #aichallenge 2012-02-19T13:48:55 *** mcstar has joined #aichallenge 2012-02-19T13:50:46 *** epicmonkey has quit IRC (Ping timeout: 260 seconds) 2012-02-19T13:53:35 *** choas has joined #aichallenge 2012-02-19T13:55:37 *** mcstar has quit IRC (Quit: mcstar) 2012-02-19T14:06:54 *** Palmik has quit IRC (Remote host closed the connection) 2012-02-19T14:29:01 *** Palmik has joined #aichallenge 2012-02-19T14:32:39 *** delt0r_ has quit IRC (Ping timeout: 276 seconds) 2012-02-19T14:45:34 *** delt0r_ has joined #aichallenge 2012-02-19T14:52:04 *** Palmik has quit IRC (Remote host closed the connection) 2012-02-19T14:56:46 *** Accoun has quit IRC () 2012-02-19T15:05:30 *** Palmik has joined #aichallenge 2012-02-19T15:08:10 *** amstan has joined #aichallenge 2012-02-19T15:08:11 *** ChanServ sets mode: +o amstan 2012-02-19T15:08:28 *** Palmik has quit IRC (Remote host closed the connection) 2012-02-19T15:25:04 *** Accoun has joined #aichallenge 2012-02-19T15:25:13 *** sbrna has joined #aichallenge 2012-02-19T15:30:15 *** Palmik has joined #aichallenge 2012-02-19T15:52:26 *** choas has quit IRC (Ping timeout: 240 seconds) 2012-02-19T15:53:25 *** choas has joined #aichallenge 2012-02-19T15:54:12 *** hara has quit IRC () 2012-02-19T15:56:15 *** Palmik has quit IRC () 2012-02-19T15:59:29 *** choas has quit IRC (Ping timeout: 248 seconds) 2012-02-19T15:59:44 *** choas has joined #aichallenge 2012-02-19T16:06:20 *** choas has quit IRC (Ping timeout: 240 seconds) 2012-02-19T16:08:00 *** choas has joined #aichallenge 2012-02-19T16:15:06 *** treeform has joined #aichallenge 2012-02-19T16:16:50 *** kurnevsky has quit IRC (Ping timeout: 245 seconds) 2012-02-19T16:19:09 *** choas has quit IRC (Ping timeout: 272 seconds) 2012-02-19T16:20:04 *** choas has joined #aichallenge 2012-02-19T16:29:13 *** choas has quit IRC (Read error: Connection reset by peer) 2012-02-19T16:41:27 *** kilae has quit IRC (Quit: ChatZilla 0.9.88 [Firefox 10.0.1/20120208060813]) 2012-02-19T17:03:02 *** choas has joined #aichallenge 2012-02-19T17:16:02 *** choas has quit IRC (Ping timeout: 260 seconds) 2012-02-19T17:32:25 *** choas has joined #aichallenge 2012-02-19T17:36:57 *** kire has quit IRC (Quit: Leaving) 2012-02-19T17:49:31 *** foRei has quit IRC (Read error: Connection reset by peer) 2012-02-19T18:01:07 *** coeus has quit IRC (Ping timeout: 240 seconds) 2012-02-19T18:13:15 *** iglo has quit IRC (Remote host closed the connection) 2012-02-19T18:39:18 *** antimatroid has quit IRC (Read error: No route to host) 2012-02-19T18:39:30 *** antimatroid has joined #aichallenge 2012-02-19T18:41:01 *** choas has quit IRC (Ping timeout: 245 seconds) 2012-02-19T18:44:46 *** antimatroid has quit IRC (Read error: No route to host) 2012-02-19T18:44:50 *** antimatroid has joined #aichallenge 2012-02-19T18:57:23 *** thestinger has quit IRC (Quit: WeeChat 0.3.6) 2012-02-19T18:58:57 *** thestinger has joined #aichallenge 2012-02-19T18:59:11 *** Chris_0076 has quit IRC (Quit: Leaving) 2012-02-19T19:06:50 *** antimatroidl has joined #aichallenge 2012-02-19T19:20:41 *** antimatroidl has quit IRC (Quit: Leaving.) 2012-02-19T19:27:44 *** antimatroidl has joined #aichallenge 2012-02-19T19:32:03 *** antimatroidl has quit IRC (Ping timeout: 240 seconds) 2012-02-19T19:49:50 *** mceier has quit IRC (Quit: leaving) 2012-02-19T19:51:05 *** antimatroidl has joined #aichallenge 2012-02-19T20:16:11 *** treeform has joined #aichallenge 2012-02-19T20:20:48 *** antimatroidl has quit IRC (Quit: Leaving.) 2012-02-19T20:21:17 *** antimatroidl has joined #aichallenge 2012-02-19T21:04:09 *** antimatroidl has joined #aichallenge 2012-02-19T21:49:48 *** treeform has quit IRC (Remote host closed the connection) 2012-02-19T21:50:34 *** treeform has joined #aichallenge 2012-02-19T21:57:03 *** treeform has quit IRC (Remote host closed the connection) 2012-02-19T22:22:30 *** Harpyon has quit IRC (Quit: Computer has gone to sleep.) 2012-02-19T22:28:25 *** X-Scale has quit IRC (Ping timeout: 272 seconds) 2012-02-19T22:28:33 *** antimatroidl has quit IRC (Quit: Leaving.) 2012-02-19T22:32:24 *** delt0r_ has quit IRC (Ping timeout: 244 seconds) 2012-02-19T22:44:19 *** Cyndre_ has joined #aichallenge 2012-02-19T22:45:23 *** delt0r_ has joined #aichallenge 2012-02-19T22:46:17 *** Cyndre has quit IRC (Ping timeout: 245 seconds) 2012-02-19T22:53:23 *** Chris_0076 has joined #aichallenge 2012-02-19T23:09:38 *** mayanks44 has quit IRC (Ping timeout: 245 seconds) 2012-02-19T23:09:55 *** Fandekasp has joined #aichallenge 2012-02-19T23:40:24 *** Areks has joined #aichallenge