|
None of that means anything however in the context of the question.
polcott wrote: I have been a professional C++ software engineer since 2004.
And I learned what you are claiming has been proven to be false in about 1984. I learned the assumptions of the Turing machine and went through multiple proofs associated with it. And a lot more mathematics as well in many other classes.
modified 17-May-23 13:26pm.
|
|
|
|
|
 C'mon Dave don't beat around the bush, tell us how you really feel!
"the debugger doesn't tell me anything because this code compiles just fine" - random QA comment
"Facebook is where you tell lies to your friends. Twitter is where you tell the truth to strangers." - chriselst
"I don't drink any more... then again, I don't drink any less." - Mike Mullikins uncle
|
|
|
|
|
polcott wrote: The following code is executed in the x86utm operating system based...
No. You are redefining the problem and then ignoring it when people call it out.
That program specfically represents a problem that was proven mathematically long ago using the Turing machine.
If you want to prove something then you will need to actually provide the same rigor that Turing did. You have not done so.
polcott wrote: calls H(D,D) that simulates D(D) at line 11
You are ignoring that in the proof H() must be defined for ALL POSSIBLE CASES. You do not get to pick and choose what H() does.
polcott wrote: Here is an example of work in this same field:
First what journal was that published in? I can find references to the article but not anything that I see as a journal.
But as I read the paper it does not really support anything that you are saying.
That paper has one specific example. And in fact seems more like an attempt to prove something about a different idiom under test - the "TSR".
The paper provides exactly what they did in detail. So I suggest that you answer your own question by applying exactly what they did in the paper to the code that you provided above.
|
|
|
|
|
polcott wrote: I never was asking the computer science question:
Do you understand the following statements?
You are using an example which has a very specific context - the Turing Machine.
The phrasing indicates you are attempting to change the context, but you have not fully defined the context.
|
|
|
|
|
polcott wrote: Not at all. The code that I wrote is very clearly written in C.
Sigh...again....
The example code originates from Turning Machine math.
If you want to prove something OUTSIDE of the Turing Machine then you must formally define the context then provide the proof from that.
Nothing you have posted here comes even close to be a formal proof.
And I am certainly not going to review anything you have posted elsewhere.
|
|
|
|
|
I am revoking my license to this
modified 19-May-23 21:16pm.
|
|
|
|
|
Upvoted your question because someone else down voted it and certainly did not provide a reason.
They might have considered it a homework question.
Or because that exact same problem and presumably answer can be found by googling.
|
|
|
|
|
This is discussed in the same question you posted in the other forum.
And since I now know the context, you are looking a problem that has been mathematically proven to be true. (Well technically proven to be unprovable.)
It has nothing to do with software in the context that you are suggesting.
polcott wrote: I have been a professional C++ software engineer since 2004.
You should look to your local universities and to the mathematics departments in each and find at least one class on Turing mathematics. This will be a class specific to mathematics and not software (although these days they might want you to write one or two simple programs.)
If there is more than one then you should take all of them.
|
|
|
|
|
polcott wrote: The bottom line is that this is a tautology, thus impossibly false:
Certainly if you have refuted a significant proof that has been in place for perhaps 80 years or more then you should immediately write it up and submit the article to one of the formal mathematical journals. It would be an astounding achievement. It would likely be submitted for several significant awards (along with monetary awards) and would likely lead to you getting quite a few job offers from both universities and companies.
I am eagerly awaiting to see the announcement of this when it is published.
|
|
|
|
|
I think a saw once a file made of a queue of commands for a strategy game that did that, it was more than a decade ago so it’s very vague in my mind. What I’m sure about is that it wasn’t script what I saw.
My question is if the file is structured as follows:
Build SCV
Build SCV
Build Barracs
Build SCV
Train marine
Etc.
How do you build SCV number 4 in the queue before building Barracs is over. When either training a unit is over or constructing a building is completed you generate an event which can be used to move on to the execution of the next item in the queue. But how do you proceed when you don’t want to wait until the execution of the previous command is over?
|
|
|
|
|
I create objects with one or more "counters"; that count down or up (time remaining; time elapsed). I handle every object at least once during a "frame" (if it is "active"). Time remaining is when they are performing an action that must "expire" (e.g. change in formation) before going on to the next "order". Time elapsed is how long they've been at something (moving, double time, firing, fighting, etc.). So, no "events"; just changes in state or "levels of condition" (fatigue; loss; ammo) that are monitored.
The only "orders" I have needed so far are for "waypoints" on a given route. ("AI"  and the user does the rest).
"Before entering on an understanding, I have meditated for a long time, and have foreseen what might happen. It is not genius which reveals to me suddenly, secretly, what I have to say or to do in a circumstance unexpected by other people; it is reflection, it is meditation." - Napoleon I
|
|
|
|
|
Thanks Gerry, that gets me a bit closer to what I’m trying to do even if I’m not using exactly the same approach. In this case what matters most is the order in which the money are spent so as soon as building the Barracs has begun you can jump to the next item in the queue if you have the money
modified 28-Apr-23 7:35am.
|
|
|
|
|
I have "various" queues. If I need to rotate over time, the angle is "queued" as a counter. During each frame (time interval / slice) the angle is reduced and applied to the object. Since my "game" can run at anywhere from 1x to 40x, it's all a function of time.
The route waypoints are queued and consumed at a rate equal to the time it took for the last one; which varies with terrain. One queue can direct multiple objects (object chain of command).
The guns have to be unlimbered before they can fire ... a queue on itself.
One queue is fatigue ... which increase with rapid gaits, and only decreases with reduced movements.
"Before entering on an understanding, I have meditated for a long time, and have foreseen what might happen. It is not genius which reveals to me suddenly, secretly, what I have to say or to do in a circumstance unexpected by other people; it is reflection, it is meditation." - Napoleon I
|
|
|
|
|
Hi, thanks for feedback
> if I need to rotate over time
I guess you can queue a lot of things.
If we talk about rotations a place where you could use that would be when you want your units to face in the direction they are walking towards. In my game the graphics are as basic as they can get. A unit is just a small square. If I were to change the graphics to something slightly better, for unit look at I would probably be using sudden changes of rotation, the method used in Blizzard RTS games.
Returning to base building... a question that has got me thinking is the problem of training low level units vs training high level units. When the AI player is far into the tech tree and has advanced units available for training it chooses to replenish the low level units lost in the battle too. ( a human in the same situation usually chooses to train only advanced units)
|
|
|
|
|
Yes, I use rotation to align the front / line of battle. They're "blocks" too, but are to scale as to front (line of battle) and depth (column of route).
In terms of cheap versus advanced units, AI could use cheap units for a diversion while the advance units attacked the primary target.
The first "phase" of each time interval is evaluating possibilities and threats; which starts with (in my case): is anyone firing on me?
"Before entering on an understanding, I have meditated for a long time, and have foreseen what might happen. It is not genius which reveals to me suddenly, secretly, what I have to say or to do in a circumstance unexpected by other people; it is reflection, it is meditation." - Napoleon I
|
|
|
|
|
> Yes, I use rotation...
Sounds like more than math for beginners so I really can’t engage with you in a debate about it.
Regarding your other post I think we are on the same page.
|
|
|
|
|
At the very least, one must allow 15+ seconds for any change in formation. I don't animate everything; I will show different icons on my blocks depending on the status of the block: marching; limbering / unlimbering. If you're in realtime and to scale, some movements are hard to see from a user point of view so you have to be more visible.
Nothing wrong with doing an "instant" turn; you just have to pace it properly (i.e. it still takes time; use an hour glass icon + another one on the block (which is simply text using font icons; e.g. Segoe UI Symbol / Emoji).
"Before entering on an understanding, I have meditated for a long time, and have foreseen what might happen. It is not genius which reveals to me suddenly, secretly, what I have to say or to do in a circumstance unexpected by other people; it is reflection, it is meditation." - Napoleon I
|
|
|
|
|
I think I got it figured. When a unit is killed the AI has to build another unit to make up for it. If you use the unit death event to start building a new unit you might not have the money to do it, so you have to queue the training for later. Implementing this behavior takes extra code. My guess is that in the case of the method presented in the opening post a capacity limit for units is created. As the processing moves down the priority list the capacity limit for various units increases.
The computer checks if the actual unit number the AI player has and capacity limit number match, if they don’t ( due to units dying) units are trained.
modified 30-Apr-23 12:10pm.
|
|
|
|
|
My "event" (if you call it that) happens when the loss inficted by the attacker is applied to the target. At that point, the target: maintains ground / continues to advance; is dispersed, temporarily or permanently; is shattered; is captured; is pursued; or is destroyed. The state of the various parties determines what can happpen in the next "round".
If was to spawn or seed something, it would be "triggered" here. (So, let's say I use triggers instead of events).
"Before entering on an understanding, I have meditated for a long time, and have foreseen what might happen. It is not genius which reveals to me suddenly, secretly, what I have to say or to do in a circumstance unexpected by other people; it is reflection, it is meditation." - Napoleon I
|
|
|
|
|
Say we have a set of positive integer numbers and the size of the set is always Q
For each position in the set we can define a minimum value and maximum value, both inclusive, for the value that could appear at that position in the set.
We can then deterministically sort a list of all of the distinct permutations of Q. To do so, We will sort first by the position 1 value, then (where the position 1 value is the same across multiple permutations) by the position 2 value and so on and so forth through to position Q being the least significant for the sort.
Given a single valid permutation of this type, is there a mathematically efficient way of determining its position in the sorted list, that is, without ever creating or iterating the list?
Conceptually reversing the above, given a position in the sorted list, is there a mathematically efficient way of determining the corresponding permutation, without ever creating or iterating the list?
|
|
|
|
|
Hmm, if I understand correctly, we have a list of Q positions where each one has a specific range say:
1 - [m_1, u_1]
2 - [m_2, u_2]
...
q - [m_q, u_q]
where m_1 to m_q are the minimum values and u_1 to u_q are the maximum (upper) values. A valid arrangement (I wouldn't call it a permutation) V = [v_1, v_2, ... v_q] can be "normalized" by subtracting the vector M = [m_1, m_2, ..., m_q] of minimum values. Let N = V-M be the normalized vector and R = U-M be the vector of ranges. Note that n_i < r_i.
I will change your problem to set the least significant position to be position 1 just for ease of notation. Then position of V in the list of arrangements is given by the sum:
S = n_1 + n_2*r_1+n3*r_1*r_2 + ...n_q * r_1*r_2*...*r_q-1
This is a bit like expressing a number in a "variable" base. The number of "digits" available at position i is r_i.
Mircea
|
|
|
|
|
Is the problem with dijkstra the fact that it computes not only the shortest path towards the destination but also the shortest path from the starting tile to any other tile in the search area ?
|
|
|
|
|
|
I don’t know. I was thinking if it’s good (potentially useful )it doesn’t come for free. Although I’m not sure this law of life applies to the world of programming as well. Also it’s a “good” thing you don’t need usually you only need the shortest path to the destination
modified 14-Dec-22 7:56am.
|
|
|
|
|
Nothing is free and everything is limited.
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
