« first day (798 days earlier)      last day (4220 days later) » 

4:02 PM
:)
I think to have found an ebook :D
 
Good!
 
user19161
Done. I have now listed the nine holy books in my profile.
 
@JasperLoy Why are you so reluctant to read different authors?
 
user19161
@JayeshBadwaik Because that is the most efficient sequence to cover the material I consider important.
 
@JasperLoy I see just 3 books :o
 
user19161
4:09 PM
@unNaturhal Really? There are three by each author dude!
 
@JasperLoy What do you mean by " serious mathematics student"?
 
user19161
@skullpatrol Well, deliberately vague. One can then check them out to see if the books are relevant.
 
@JasperLoy The books are "deliberately vague"?
 
user19161
@skullpatrol No, the term you mentioned is deliberately vague. Essentially they cover all the undergrad and first year grad algebra, analysis and geometry/topology.
 
I found an italian version!!
 
user19161
4:17 PM
@unNaturhal Bravo, bravo.
 
@JasperLoy Which term did I use that was deliberately vague?
 
user19161
@skullpatrol I mean "serious math student", in case you are not joking with me.
 
@JasperLoy Grazie xD
 
You used:

Books recommended for the serious mathematics student
 
user19161
@skullpatrol You asked me what I meant, so I said it was left deliberately so. QED.
 
4:24 PM
@JasperLoy What did you think of my corny psuedo-proverb?
hi @OldJohn
 
@skullpatrol Hi Skull - and Jasper and all
 
@JasperLoy If I can told you a non requested advice, it should better if you divide the book (if they don't) by "difficulty level": starting from the first that one have to read to understand the succesive and go ahead.. I don't know if I explained :P
 
@OldJohn Hello there! In the mood for recreational maths?
 
@MattN. sure thing
 
@OldJohn Aces : ) Here goes: Assume we put 5 times 5 coins on a table. A fly lands on one. It can hop from one coin to adjacent coins (next row or column but not diagonally). Can it visit all coins exactly once? (I'll give you some time to think before I tell you what I've worked out so far)
 
4:28 PM
Are they in a square pattern?
 
Yes, 5 times 5.
 
Does the fly have to end back where it started?
 
No.
Just visit every coin exactly once.
 
Then isn't it trivial? work along top row, then hop down to next row, and work along it backwards etc.
ah - we don't know where it started?
 
@OldJohn Exactly. But yes: if it lands in one of the corner it works.
But we want to show that it doesn't always (my conjecture : ))
 
4:33 PM
I think you are right - I reckon if it lands on (1,2) then it is not possible (assume squares (1,1) to (5,5))
 
My thoughts : )
Then I tried the 3 times 3 case.
 
If it starts at (1,2) it would have to end at (1,1) and that gives a problem because ...
 
In which case it works if the thing lands on any corner or the middle but not otherwise.
 
(not sure yet)
there has to be an argument like the one about not being able to cover a chessboard minus 2 corners using dominoes ...
Yep - I might have an argument!
 
I don't know that problem but I thought it's the same as asking whether we can show that there is no Hamiltonian path starting at (1,2) in a graph where coins are vertices.
@OldJohn Aces! Let's hear!
 
4:36 PM
Each 2 consecutive coins it visits make a "domino", yes?
 
@OldJohn It is possible on $(1,2)$
 
@OldJohn Ok.
 
so we have to cover the 5x5 grid using dominoes and one spare place - let that one be the starting square
 
We cannot tile odd dimensions?
 
yes - if we have 1 square + a number of dominoes
but now look at what happens when we colour the coins black and white like a chessboard ...
 
4:38 PM
Wait let me check out the 3x3 case with the domino-thinking.
 
do the colouring so that there is one more black than white - so we start with black in top left square
 
Hold on. I'm not sure I fully understand what you're saying.
 
@OldJohn but here dominoes can overlap and they must overlap exactly one. (or I am being dumb?)
 
Why the colouring?
 
no - dominoes do not overlap - each domino covers exactly 2 squares - which have to be adjacent - vertically or horizontally
you will see in a moment!
 
4:40 PM
what is a domino?
 
each domino covers 2 squares - one black and one white
 
@OldJohn I thought you were saying that if we can cover the board using tiles of 2 then the answer is yes. But this would not take into account the starting point.
Is white = start of hop and black = landing square after hop of fly?
 
so - after we remove the initail landing square, there must be an equal number of black and white squares left - which will only happen if we remove a black square initially (the landing square) - otherwise we end up with 2 more black than white
 
(No. Can't be. Then we wouldn't get a chessboard pattern when we're done.)
 
that will prove that it is not possible if we start on a black square for an odd x odd board
So - I have proved the impossibility if we start on a white square - but not proved it is always possible if we start on a black square
 
4:44 PM
That's exactly what I was after!
 
OK - then job done?!
 
@OldJohn I cannot prove that a solution always exists, but I think it does. It is always possible for a fly to go over all the coins exactly once, wherever it lands.
 
Ah - I see
 
@OldJohn No! : ) I have to understand your solution.
 
Well - my argument proves impossibility when we start on any white square
OK - lets start at the beginning ...
 
4:45 PM
@OldJohn what I think is a flaw in your argument is that a previous landing square is the same as the next launching (take-off) square.
 
start with an odd x odd square of coins and colour them black and white with black at top left corner
 
okay, done.
 
now suppose the fly starts on a white - and imagine that one deleted - leaving 2 more blacks than whites
 
okay.
 
Can we construct a subset of irrational numbers with uncountable many elements and is closed in R?
 
4:47 PM
as the fly hops around, its path can be covered by a sequence of non-overlapping "dominoes"
 
@OldJohn I do not agree with this.
 
@ablmf look up Cantor set
 
@OldJohn Hold on. Why the spare? Shouldn't the starting point form one half of a domino tile?
 
Imagine the start square is deleted - I am going to prove it cannot cover the rest of the squares
imagine its start point is numbered 1, then it visits coins 2 and 3 - then it visits 4 and 5 etc etc
 
@OldJohn but, but this does not relate to jumps. If you land on a white tile, you do not take off from the adjacent black. :-/ you take off from that very white tile and jump onto the next black.
 
4:49 PM
@OldJohn Ok...
 
coins 2 and 3 can be covered with a domino - so can coins 4 and 5 - it always jumps from 2n to 2n+1 ... 2n is om one colour and 2n+1 is on the other colour
 
Ok.
 
each domino covers 2 consecutive coins it visits
(after the first - we deleted that one)
 
@OldJohn Ok.
 
Helloo!!!
 
4:51 PM
hi
 
and each domino covers one white and one black - e.g. after move 2+3 it has deleted a black and a white
 
@skullpatrol wassup Skull?
 
@OldJohn Ok. And this ends in a chessboard pattern?
 
after visiting coins 4 and 5 it has deleted another black and another white etc etc
 
@Charlie chillin you?
 
4:52 PM
so it can only complete the whole board if there are an equal number of blacks and whites after we have deleted the start square
 
@OldJohn Hm...... But this ignores the starting point information.
 
@OldJohn but then this solution should apply irrespective of where the fly landed the first time, and if the fly lands on the corner, a solution is possible and hence, that is a contradiction.
 
@Jayesh Hi jay!Today by the morning i thought:here comes the sun!The day is good to walk in strawberry fields,look up and see lucy in the sky with diamands.I'm as happy as i told you yesterday,Jay!
 
My solution (so far) just proves the impossibility of doing the problem if you start on a white squre
 
@skullpatrol i'm good!
 
4:55 PM
Oh, ok!
 
@OldJohn But the white square is our construct!
 
So we do have the starting point information : )
 
@Charlie Awesome! Hold on a bit. I am trying to prove that there always exists a solution, while OldJohn and Matt are proving otherwise! ;-)
 
So far, I have proved that approx half of the starting points (the white squares) are impossible starting points - I have not yet proved it will always be possible if we start on a black square
 
@JayeshBadwaik of course...take your time
 
4:57 PM
Do you agree my argument proves impossibility if we start on a white square?
 
@OldJohn Still thinking!
 
@JayeshBadwaik solution to what?
 
@OldJohn The argument is that we need an even number of black and an odd number of white after removing one white?
 
@OldJohn No. I guess I can produce a solution. I am writing down a counterexample to your assertion. I have drawn a 5x5 chessboard with black at the top-left corner. Suggest any white starting point.
 
If we start on a white square we then have 24 squares left to visit - and 11 of them are white but 13 are black (sorry)
 
4:59 PM
@OldJohn : )
 
but each 2 moves cover a black and a white - we cannot remove them all
11 white and 13 black - and then we remove them in pairs - one black and one white - we and up with 2 blacks - we might get one but cannot get both
 
@OldJohn Hah. This is really nice.
 
Try it by colouring a 5x5 grid and start at (1,2) - you will definitely end up with a black square you can't cover at the end - because it always hops from black to white etc
 
@OldJohn My point is not about the coloring problem of the grid, it is about the fact that the coloring is not equivalent to path we desire (or to our problem)
 
@OldJohn I'm trying the 3x3 case. But I still don't understand it fully. We start with 5 black and 4 white. Then one could argue that if we cover it we end up with one black. Hence we cannot cover it.
 
5:04 PM
If you colour the 3x3 you will find all the black starting points work, but the white ones are impossible
 
@JayeshBadwaik i'm sorry to interrupt...and say bullshit..but couldn't this be solved with graph theory?
 
@OldJohn Unless I invert the colour : )
 
@Charlie Yup, graph theory is combinatorics many times. This is some sort of hamiltonian path, but even the edges are not specified, so it is not a hamiltonian path.
 
@MattN. If you have one more black than white, and start on a white, you cannot possibly visit them all, as each 2 consecutive moves cover one black and one white
 
@JayeshBadwaik hmm
 
5:07 PM
hi @MarianoSuárez-Alvarez
 
e.g. on the 5x5, there are 25 squares, of which 13 are black and 12 are white, if we start on a white (so we now have 13 black and 11 white left to visit) and then jump (to a black of necessity) we now have 12 black and 10 white left to visit
after the next 2 moves we then have 11 black and 9 white to visit etc etc
 
@JayeshBadwaik what do you have so far?
 
at the end, when we have visited all the whites, there will be 2 blacks left, and we can only visit one of them as each hop takes us from one square to a different colour
 
@OldJohn But if we land on one, then that's visited. And then, after we hop once, we have two squares visited. So per hop we visit one square. No?
 
@Charlie Right now I drew out some examples and succeeded in finding a path. Hence, I think it is possible.
 
5:13 PM
@JayeshBadwaik hmmm...nXn ?
 
@Charlie 5x5 , 3x3.
 
@JayeshBadwaik tell me a path which visits all squares in a 5x5 if you start at (1,2)!!!!
 
Also, I have some ideas as follows: Rudimentary and not complete, but I am thinking, for nxn.
I am thinking like this, the diagonal moves do not change the parity of the co-ordinates, while the adjacent moves do. And, we have a solution when we start on a corner. So, now what we can do is, we can prove that the discrete can always be mapped equivalently to new co-ordinates such that we do not have to change the parity of any of the points.
@OldJohn Yes Sir. Just a second.
 
@OldJohn Oops, it's dawning on me that I ignored the fact that white means starting square and black means landing square.
 
@JayeshBadwaik Diagonal moves are not allowed
 
5:15 PM
I am assuming that $(1,1)$ is the bottom left and $(5,5)$ is the top right. So that I can make my moves in up, down, left , right to make it short to describe.
 
OK
so - start at (1,2)
 
What I was thinking makes no sense. The colour of starting and landing square of each hop is inverted every time the thing hops.
Duh.
 
If you analyse what I said here I think it should be OK
 
@OldJohn Indeed. I think my head needs a few minutes break. Be right back.
 
@JayeshBadwaik Do you agree that if we start at (1,2) then we have 24 squares left to visit - 13 black and 11 white?
 
5:20 PM
@OldJohn Yes, I am starting to see it now.
 
If we then make 2 moves (say right and up) we have visited a black and a white - so we now have 12 black and 10 white left to visit?
 
@OldJohn Yes. I get it now.
 
and after 2 more moves we have 11 black and 9 white left to visit ...
then after an even number of moves we end up with 2 black and 0 white left to visit - which is impossible as 2 consecutive squares visited have to have different colours
QED
 
Okay, so now, a path cannot be found when the starting point is $(x,y)$ and $x + y$ is odd in an $n \times n$ square where $n$ is odd.
 
Yep
 
5:24 PM
Otherwise, we can find a path. And what about $n \times n$ , where $n$ is even?
 
This is like talking to a wall. math.stackexchange.com/q/210492/31475
 
Next problem is to prove it can always be done if we start on a black (which leaves 12 of each colour still to visit - so it "ought to be possible")
 
@EdGorcenski OldJohn was talking to a wall (me) recently. :P
 
@EdGorcenski oh my...
 
@JayeshBadwaik Narh - you listened - and understood :)
@JayeshBadwaik I was quite pleased with my argument - until I had a hard time making it really clear :)
 
5:26 PM
@OldJohn So, I spoiled the fun for you! :P :P
 
At any rate, I've nominated that one to close.
 
Not at all!
@EdGorcenski Good idea - walls should be demolished :)
 
Okay, then good! Anyway, nice! :-)
 
So, my fun today is hand-crafting an adjacency matrix from an image of an imaginary city with over 450 intersections.
 
@Charlie So, now you see, I am not really that good.
@EdGorcenski Hand-crafting? Serious?!!!
 
5:28 PM
Well, in code
 
@JayeshBadwaik hmm course you are! that's a puzzle
 
@EdGorcenski 450 rows and 450 columns???????
 
Yep.
 
@OldJohn yup.
 
sheesh :((
 
5:29 PM
@Charlie it is a standard one.
 
In theory, I could automate the process, but I'm not entirely sure it would take me less time. I can at least filter the nodes so that each vertex has only about 20 candidate pairs, but still.
 
so that narrows it down to about 20 x 450 ?
 
Yeah, thereabouts.
 
@EdGorcenski You can go from intersection to intersection? And then register the adjacency weight in the appropriate matrix?
 
@JayeshBadwaik All I have are co-ordinates of intersections, and a map of the streets.
I can poll through the intersections and ignore any that are, say, >400m away.
And all weights are 1.
 
5:31 PM
Must go and cook
 
So essentially, it's a binary decision each time.
 
@EdGorcenski But your adjacency requires only the nearest neighbours right? Or do you want a weighted one with neighbours of neighbours also included?
 
@MattN. Hope my logic works! - back later :)
 
@OldJohn It does.
 
@JayeshBadwaik Thanks!
Bye for now
 
5:32 PM
@JayeshBadwaik Yes, basically.
I just need to determine if there is a path from one vertex to another that does not go through a separate vertex. All weights are 1.
So, it's not terribly difficult, just exceptionally boring.
 
@EdGorcenski But you have the list of the paths!
So you can automate it.
 
Not really.
 
Ohh.
Hmm. then suddenly it is really really bad deal. :-(
 
Yeah, I am staring at a printout of the map, and figuring out which intersections connect to which others.
 
the horse path is funnier :P
 
5:35 PM
@EdGorcenski Okay. If you do that, probably, you can randomly connect them and then produce an alternative map for the game of Scotland Yard!.
@Charlie Have you played scotland yard?
 
The city has been generated by CityEngine
And the digital data is a gigantic OBX file
 
@EdGorcenski Okay.
 
@JayeshBadwaik no, but i know the game
 
In principle, I could extract the model vertices for the streets
And match then with the model vertices for the intersections.
 
@JayeshBadwaik just "clue" :P
 
5:37 PM
However, the intersections are not simply connected, so then I would need to apply a heuristic
And the development of that heuristic would not be any easier.
 
@EdGorcenski Can you not get the intersections and the streets in the CSV format and then text process it (If you are planning to use more cities in future?)
@Charlie Nice! I was thinking of generating a random map and then hosting an online scotland yard board game for people to play. It would be nice. :-) What do you think?
 
@JayeshBadwaik Incredibly awesome!
 
@JayeshBadwaik There won't be future cities
And no, I canno
There is no straightforward coordinate for intersections and streets -- it's all derived from vertex data
Furthermore, I can't even use convex hulls of the textures, since the intersection textures "bleed out" beyond where the street textures do.
 
Hmm. I cannot believe there is no CSV/VTK some other text-based representation of data. I was expecting in the least to have the intersections labeled numerically, and streets represented as the edges of the intersections. (graph style)
 
@JayeshBadwaik There might be, but I only have access to the OBX file.
 
5:51 PM
@EdGorcenski Ohh.
 
And as such, I must do what I can with what I have. The joys of dealing with subcontractors...
 
@EdGorcenski Ohh. So, you are not in academics. Hahaha. And all this time I was thinking the city is just a model for your real research. :P
I painfully understand what you mean! :-(
 
I am/am not.
I am a research engineer -- much of what I do is dealing with the transition between academia and industry.
 
Okay, I meant, this was not an purely academic venture. :-)
 
For this particular project, I'm creating a video game for therapy for a specific type of visual cortex-based disorder.
The game has players driving through a virtual city.
 
5:54 PM
Okay.
 
So, the project will be used to research the therapeutic effects of the game, which utilizes some novel Human Computer Interaction strategies.
 
@EdGorcenski Ohh. Nice.
 
So there's an academic research component; we're working with a major university, but we're also doing it with considerations to practical applications
 
@EdGorcenski Okay.
 
For instance, it would be really easy to do in a lab setting, but the people who have these disorders can't afford $15,000 worth of equipment, or 3 visits to a doctor per week
So it has to be cost-effective for the target demographic.
 
5:57 PM
@EdGorcenski Hmm.
 
Most academic research avoids such considerations
 
@EdGorcenski Hmm. Yup. Its more of a proof-of-concept most of the times.
 
Exactly
Anyhow, meeting time. BBL
 
6:16 PM
@jayesh I think I nailed my mid term!
 
@PeterTamaroff Awesome!!!
 
Hello; can someone help put me on the right track to solving a diophantine type problem?
 
6:30 PM
?
 
@JohnSmith what is the problem?
 
I have this equation

$z*(c-b) = z^2 + (a+c)*(a+b)$

and I want to be able to find all solutions to the equation given that

$1 <= z <= Z$
and
$-L <= a < b < c <= L$

where Z and L are large. Every number involved here is an integer.

How can I count the number of valid solutions?
 
@JohnSmith I think you might have to try posting that one on the main site - I can't see a quick way to do it, unless the quadratic factorises when you put it all on one side
 
well if I set x = a+c and y=a+b then it turns into a slightly different equation but I don't know if it helps
it becomes $z = (1/2)( +/- sqrt(x^2-6xy+y^2) + x - y)$
 
and then you would need $x^2-6xy+y^2$ to be a square of an integer, I guess
 
6:37 PM
yes
but with such large Z and L i don't think counting every individual solution is the right way; has to be some shortcut to leverage
 
Hmm - I don't see a quick and easy way to count solutions of that, I'm afraid (but I am not an expert in counting solutions)
counting solutions of diophantine equations can be tough, and short cuts tend to be a bit rare, I fear
 
there is a shortcut somewhere; i just don't know where to look
or even where to start
say i iterate from z = 1 to some arbitrary bound. is there a way to count solutions to the equation then (solving for x and y)?
 
6:52 PM
@JohnSmith still not easy - I don't know a quick and easy way to count solutions for $x$ and $y$ which make that quadratic form equal to a square
 
shoot. thanks for looking at it anyway; appreciate it
'tis a toughie
 
@JohnSmith Yep - sorry I couldn't be more help
 
@OldJohn When you went back to University to study maths what year did you start at?
 
I didn't exactly go back to university
 
@OldJohn Did you study on your own?
 
7:01 PM
I did my degree in 1970-1973, and then in 1992-ish, I took some Open University courses with the aim of convincing people that I was capable of doing a PhD
 
@OldJohn Take that, non believers!
 
The courses I did were the toughest ones I could find - mostly final year undergrad ones - and then I did one year of a taught MSc in functional analysis before I convinced them I could cope with a PhD
2
 
@OldJohn No, still not. If we hop we cover one new coin per hop! So how do we get your argument from there? (very sorry for being slow, I had a terrible day, the 21st or so in a row)
 
@MattN. No problem!
Lets start from here - with a 5x5 grid coloured chessboard fashion - OK?
There are 13 black and 12 white - yes
 
Ok! Although I've been thinking about 3x3, assuming it made things simpler.
Yes!
 
7:04 PM
@OldJohn How old are you?
 
OK - suppose start on a white ...
@JohnSmith 60
 
@OldJohn Ok : )
 
if we start on white, we now have 13 black and 11 white left to visit?
 
@OldJohn Yes!
 
so we hop to another - which must be black if we start on white
 
7:06 PM
Aye!
 
we now have 12 black and 11 white left to visit
 
Yes.
 
next we hop to white - and then we have 12 black and 10 white left to visit
so- after 2 hops we have reduced the remaining whites and blacks by one each
 
Yes.
 
if we keep on doing that , we end up with 2 blacks and 0 whites left to visit ...
 
7:08 PM
Yes.
I see.
 
we can hop to one of the remaining 2 blacks, but the we cannot hop from there to the remaining white as each hop changes colour :)
 
@OldJohn Thanks for your patience. I appreciate it.
 
@Jayesh Are you there,dear?
 
so- starting from a white, and odd by odd grid is impossible
No problem! - I am a patient man! (used to be a teacher!)
If we start with a grid with (at least ) one side even, I think it is easy to prove it is possible - the only case I haven't sorted in my mind is proving it is possible in an odd by odd if we start on a black
 
@OldJohn Because we colour it so that we have one more white than black?
 
7:11 PM
My argument of impossibility fails if we start on black for odd x odd case - but doesn't prove that a path must exist :(
 
@OldJohn Thank you! I had only suspected that it is always possible on a 2n x 2n grid.
 
If one side is even, then I think there must be a solution starting in top left corner, which ends back where it started, and then we can change starting point to any random coin and get a solution that way
@PeterTamaroff what was the non-believers comment about ? :)
 
@OldJohn You said "I did my degree in 1970-1973, and then in 1992-ish, I took some Open University courses with the aim of convincing people that I was capable of doing a PhD"
 
@PeterTamaroff Ah! - OK
It worked - but was probably the toughest thing I have ever done - trying to do research while holding down a full-time job was not really much fun
 
@OldJohn Well, I like people who can take a beating!
 
7:17 PM
@PeterTamaroff nice
 
grumble post the grades, dammit.
Slow graders drive me crazy!
 
@EdGorcenski What test is it?
 
7:36 PM
Analysis
We had a midterm last week, fairly easy
 
user19161
7:49 PM
@PeterTamaroff I think I have nailed Pedro!
 
@Argon Hey Aaron!
 
@JasperLoy $\Huge{\text{What the fuck, man.}}$
$\Huge{\text{No, really. }}$
 
@Charlie Good day, Marilia!
 
user19161
@Charlie So Argon is Aaron?
 
@JasperLoy 'tis
 
user19161
7:53 PM
@Argon Were you the one who asked about Canadian universities?
 
@JasperLoy Yes
 
user19161
@Argon I once fell in love with a Canadian girl. In the end, she married a French guy.
 
@JasperLoy French Canadian?
 
user19161
@Argon No, French French. Both of them met while on exchange as undergrads. Hmm, now I really regret not having made a real attempt then.
 
@JasperLoy Its a shame.
@JasperLoy Have you ever visited Canada?
 
user19161
7:58 PM
@Argon No, I have almost never travelled in my entire life.
 

« first day (798 days earlier)      last day (4220 days later) »